Two Approaches to Modelling Logical Time in Cyber-Physical Systems

• Published in: Information and Communication Technologies in Education, Research, and Industrial Applications Vol. 826; pp. 21 - 40
• Main Authors: Zholtkevych, Grygoriy, El Zein, Hassan Khalil
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2018; Springer International Publishing
• Series: Communications in Computer and Information Science
• Subjects: Clock; Clock morphism; Clock structure; Cyber-physical system; Denotational semantic model; Logical time; Operational semantic model; Safety property; Schedule
• ISBN: 3319761676; 9783319761671
• ISSN: 1865-0929; 1865-0937
• DOI: 10.1007/978-3-319-76168-8_2

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.