Logical Time for Reactive Software
Number of Authors: 42023 (English)In: Proceedings of 2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023: Workshops, Association for Computing Machinery (ACM) , 2023, p. 313-318Conference paper, Published paper (Refereed)
Abstract [en]
Timing is an essential feature of reactive software. It is not just a performance metric, but rather forms a core part of the semantics of programs. This paper argues for a notion of logical time that serves as an engineering model to complement a notion of physical time, which models the physical passage of time. Programming models that embrace logical time can provide deterministic concurrency, better analyzability, and practical realizations of timing-sensitive applications. We give definitions for physical and logical time and review some languages and formalisms that embrace logical time.
Place, publisher, year, edition, pages
Association for Computing Machinery (ACM) , 2023. p. 313-318
Keywords [en]
programming model, reactive systems, software, timing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:kth:diva-333297DOI: 10.1145/3576914.3587494ISI: 001054880600055Scopus ID: 2-s2.0-85159781950OAI: oai:DiVA.org:kth-333297DiVA, id: diva2:1784965
Conference
2023 Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2023, San Antonio, United States of America, May 9 2023 - May 12 2023
Note
Part of ISBN 9798400700491
QC 20230801
2023-08-012023-08-012023-10-16Bibliographically approved