Skip to main content
SpringerLink
Log in

Two Approaches to Modelling Logical Time in Cyber-Physical Systems

  • Conference paper
  • First Online:
Information and Communication Technologies in Education, Research, and Industrial Applications (ICTERI 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 826))

Abstract

The paper is devoted to problems caused by the nonlinearity of logical time in distributed, especially cyber-physical, systems. Two approaches to the modelling of such systems are considered in the paper. The operational approach is based on the traditional model that defines the admissible system behaviour as a set of acceptable schedules of the system. The paper argues in favour of restricting possible sets of schedules by that sets of schedules that satisfy certain safety properties. The denotational approach is stated in the language of category theory. This abstraction level clarifies concepts used in the models. In particular, it is explained the feature of linear models as terminal objects with respect to some natural class of morphisms. Further, the interrelation between these two approaches is represented as a formal relation and discuss some properties of the relation that need to be studied.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Usually, one uses the term clock structure if C is uniquely determined by the context.

  2. 2.

    The necessary definitions and results from the theory of categories can be found in [10].

  3. 3.

    Symbolically, \(\mathcal {S}\models P\).

References

  1. Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Letts. 21, 181–185 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  2. André, C., Mallet, F.: Clock constraints in UML MARTE. Research Report 6540, INRIA (2008)

    Google Scholar 

  3. Cachin, C., Guerraoui, R., Rodrigues, L.: Introduction to Reliable and Secure Distributed Programming, 2nd edn. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-15260-3

    Book  MATH  Google Scholar 

  4. Carruthers, K.: Internet of Things and beyond: cyber-physical systems. IEEE IoT Newsl. (2016). http://iot.ieee.org/newsletter/may-2016/internet-of-things-and-beyond-cyber-physical-systems.html

  5. Cristian, F.: Probabilistic clock synchronization. Distrib. Comput. 3, 146–158 (1989)

    Article  MATH  Google Scholar 

  6. Harzheim, E.: Ordered Sets. Springer Science & Business Media, New York (2006). https://doi.org/10.1007/b104891

    MATH  Google Scholar 

  7. Kshemkalyani, A.D., Singhal, M.: Distributed Computing: Principles, Algorithms, and Systems. Cambridge University Press, Cambridge (2008)

    Book  MATH  Google Scholar 

  8. Lamport, L.: Proving the correctness of multiprocess programs. IEEE Trans. Softw. Eng. 2, 125–143 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  9. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. CACM 21(7), 558–565 (1978)

    Article  MATH  Google Scholar 

  10. Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer New York Inc., New York (1998). https://doi.org/10.1007/978-1-4757-4721-8

    MATH  Google Scholar 

  11. Mallet, F.: Clock constraint specification language: specifying clock constraints with UML/MARTE. Innov. Syst. Softw. Eng. 4(3), 309–314 (2008)

    Article  Google Scholar 

  12. Mallet, F.: MARTE/CCSL for modeling cyber-physical systems. In: Drechsler, R., Kühne, U. (eds.) Formal Modeling and Verification of Cyber-Physical Systems, pp. 26–49. Springer, Wiesbaden (2015). https://doi.org/10.1007/978-3-658-09994-7_2

    Chapter  Google Scholar 

  13. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Formal/2011-06-03. OMG (2011)

    Google Scholar 

  14. The National Science Foundation: Cyber-Physical Systems (CPS). Program Solicitation NSF 12–520. NSF, Arlington, VA (2012)

    Google Scholar 

  15. The National Science Foundation: Cyber-Physical Systems (CPS). Program Solicitation NSF 17–529. NSF, Arlington, VA (2017)

    Google Scholar 

  16. Willard, S.: General Topology. Dover Publication Inc., Mineola (1998)

    MATH  Google Scholar 

  17. Zholtkevych, G., El Zein, H.K.: Logical time models to study cyber-physical systems. In: Ermolayev, V., et al. (eds.) Information and Communication Technologies in Education, Research, and Industrial Applications, vol. 1844, pp. 488–503. CEUR-WS (2017)

    Google Scholar 

  18. Zholtkevych, G., Mallet, F., Zaretska, I., Zholtkevych, G.: Two semantic models for clock relations in the clock constraint specification language. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2013. CCIS, vol. 412, pp. 190–209. Springer, Cham (2013). https://doi.org/10.1007/978-3-319-03998-5_10

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics and Computer Science School, V.N. Karazin Kharkiv National University, 4, Svobody Sqr., Kharkiv, 61022, Ukraine

    Grygoriy Zholtkevych & Hassan Khalil El Zein

Authors
  1. Grygoriy Zholtkevych
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hassan Khalil El Zein
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Grygoriy Zholtkevych .

Editor information

Editors and Affiliations

  1. Aristotle University of Thessaloniki, Thessaloniki, Greece

    Nick Bassiliades

  2. Zaporizhzhia National University, Zaporizhzhia, Ukraine

    Vadim Ermolayev

  3. University of Bamberg, Bamberg, Germany

    Hans-Georg Fill

  4. Lviv Polytechnic National University, Lviv, Ukraine

    Vitaliy Yakovyna

  5. University of Klagenfurt, Klagenfurt, Austria

    Heinrich C. Mayr

  6. Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

    Mykola Nikitchenko

  7. V. N. Karazin Kharkiv National University, Kharkiv, Ukraine

    Grygoriy Zholtkevych

  8. Kherson State University, Kherson, Ukraine

    Aleksander Spivakovsky

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zholtkevych, G., El Zein, H.K. (2018). Two Approaches to Modelling Logical Time in Cyber-Physical Systems. In: Bassiliades, N., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2017. Communications in Computer and Information Science, vol 826. Springer, Cham. https://doi.org/10.1007/978-3-319-76168-8_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-76168-8_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-76167-1

  • Online ISBN: 978-3-319-76168-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation