research-article

Open access

Logical Time for Reactive Software

Authors:

Marten Lohstroh,

Stephen A. Edwards, and

David BromanAuthors Info & Claims

CPS-IoT Week '23: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023

May 2023

Pages 313 - 318

https://doi.org/10.1145/3576914.3587494

Published: 09 May 2023 Publication History

All formats PDF

Abstract

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.

References

[1]

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, and Edward A. Lee. 2022. Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. arXiv:2207.09555 [cs.DC] (July 2022). hthttps://arxiv.org/abs/2207.09555

[2]

Albert Benveniste, Timothy Bourke, Benoit Caillaud, and Marc Pouzet. 2012. The Fundamentals of Hybrid Systems Modelers. J. Comput. System Sci. 78, 3 (May 2012), 877–910.

Digital Library

[3]

Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone. 2003. The Synchronous Languages 12 Years Later. Proc. IEEE 91, 1 (Jan. 2003), 64–83.

[4]

Albert Benveniste and Paul Le Guernic. 1990. Hybrid Dynamical Systems Theory and the SIGNAL Language. IEEE Trans. Automat. Control 35, 5 (May 1990), 535–546.

[5]

Eric Brewer. 2017. Spanner, TrueTime & the CAP Theorem. Report. Google. https://storage.googleapis.com/pub-tools-public-publication-data/pdf/45855.pdf

[6]

David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, and Michael Wetter. 2015. Requirements for Hybrid Cosimulation Standards. In Hybrid Systems: Computation and Control (HSCC).

[7]

A. Cataldo, E. Lee, Xiaojun Liu, E. Matsikoudis, and Haiyang Zheng. 2006. A constructive fixed-point theorem and the feedback semantics of timed systems. In 8th International Workshop on Discrete Event Systems. 27–32.

[8]

James C. Corbett 2012. Spanner: Google’s Globally-Distributed Database. In OSDI.

Digital Library

[9]

Stephen A. Edwards and John Hui. 2020. The Sparse Synchronous Model. In Forum on Specification and Design Languages (FDL). Kiel, Germany.

[10]

John C. Eidson. 2006. Measurement, Control, and Communication Using IEEE 1588. Springer.

[11]

Rolf Ernst, Stefan Kuntz, Sophie Quinton, and Martin Simons. 2018. The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). Dagstuhl Reports 8 (2018), 122–149. https://doi.org/10.4230/DagRep.8.2.122

[12]

Richard Fujimoto. 2000. Parallel and Distributed Simulation Systems. John Wiley and Sons, Hoboken, NJ, USA.

Digital Library

[13]

Nicholas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. 1991. The Synchronous Data Flow Programming Language LUSTRE. Proc. IEEE 79, 9 (Sept. 1991), 1305–1320.

[14]

Pat Helland. 2016. Standing on Distributed Shoulders of Giants. Commun. ACM 59, 6 (2016), 58–61.

Digital Library

[15]

Thomas A. Henzinger, Benjamin Horowitz, and Christoph M. Kirsch. 2003. Giotto: A Time-Triggered Language for Embedded Programming. Proceedings of IEEE 91, 1 (January 2003), 84–99.

[16]

Christoph M. Kirsch and Ana Sokolova. 2012. The Logical Execution Time Paradigm. In Advances in Real-Time Systems, S. Chakraborty and J. Eberspächer (Eds.). Springer-Verlag, Berlin Heidelberg, 103–120.

[17]

Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, and Marcelo Leone. 2014. Logical Physical Clocks. In Principles of Distributed Systems (OPODIS), Aguilera M.K., Querzoni L., and Shapiro M. (Eds.). Vol. LNCS 8878. Springer.

[18]

Leslie Lamport. 1998. The Part-Time Parliament. ACM Transactions on Computer Systems 16, 2 (1998), 133–169.

Digital Library

[19]

Leslie Lamport and P. M. Melliar-Smith. 1984. Byzantine clock synchronization. In Proceedings of the third annual ACM symposium on Principles of distributed computing. ACM Press, Vancouver, British Columbia, Canada, 68–74.

Digital Library

[20]

Edward Ashford Lee. 2017. Plato and the Nerd — The Creative Partnership of Humans and Technology. MIT Press.

[21]

Edward A. Lee. 2021. Determinism. ACM Transactions on Embedded Computing Systems (TECS) 20, 5 (July 2021), 1–34.

Digital Library

[22]

Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, and Christian Menard. 2023. Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems. Intelligent Computing 2, 13 (February 15 2023), 1–23.

[23]

Edward A. Lee and Alberto Sangiovanni-Vincentelli. 1998. A Framework for Comparing Models of Computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems 17, 12 (December 1998), 1217–1229.

Digital Library

[24]

Barbara Liskov. 1993. Practical uses of synchronized clocks in distributed systems. Distributed Computing 6 (1993), 211–219.

Digital Library

[25]

Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli. 2019. Reactors: A Deterministic Model for Composable Reactive Systems. In 8th International Workshop on Model-Based Design of Cyber Physical Systems (CyPhy’19), Vol. LNCS 11971. Springer-Verlag, 27.

[26]

Marten Lohstroh, Christian Menard, Soroush Bateni, and Edward A. Lee. 2021. Toward a Lingua Franca for Deterministic Concurrent Systems. ACM Transactions on Embedded Computing Systems (TECS) 20, 4 (May 2021), Article 36.

Digital Library

[27]

Oded Maler, Zohar Manna, and Amir Pnueli. 1992. From Timed to Hybrid Systems. In Real-Time: Theory and Practice, REX Workshop. Springer-Verlag, 447–484.

[28]

Zohar Manna and Amir Pnueli. 1993. Verifying Hybrid Systems. In Hybrid Systems, Vol. LNCS 736. 4–35.

[29]

D. L Mills. 2003. A brief history of NTP time: confessions of an Internet timekeeper. ACM Computer Communications Review 33 (April 2003).

Digital Library

[30]

Richard A. Muller. 2016. Now — The Physics of Time. W. W. Norton and Company.

[31]

Saranya Natarajan and David Broman. 2018. Timed C: An Extension to the C Programming Language for Real-Time Systems. In Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[32]

Saranya Natarajan and David Broman. 2020. Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. In Forum for Specification and Design Languages (FDL). IEEE, 1–8.

[33]

Saranya Natarajan, Mitra Nasri, David Broman, Björn B Brandenburg, and Geoffrey Nelissen. 2019. From code to weakly hard constraints: A pragmatic end-to-end toolchain for Timed C. In Proccedings of the IEEE Real-Time Systems Symposium (RTSS). IEEE, 167–180.

[34]

Carlo Rovelli. 2018. The Order of Time. Riverhead Books, New York.

[35]

Yang Zhao, Edward A. Lee, and Jie Liu. 2007. A Programming Model for Time-Synchronized Distributed Real-Time Systems. In Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 259 – 268.

Digital Library

Cited By

Popovski P(2024)Time, Simultaneity, and Causality in Wireless Networks With Sensing and CommunicationsIEEE Open Journal of the Communications Society10.1109/OJCOMS.2024.33744535(1693-1709)Online publication date: 2024
https://doi.org/10.1109/OJCOMS.2024.3374453
Hui JEdwards KEdwards SZhu Qvon Hanxleden RStephen EBrandt J(2023)Timestamp Peripherals for Precise Real-Time ProgrammingProceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design10.1145/3610579.3611084(137-147)Online publication date: 21-Sep-2023
https://dl.acm.org/doi/10.1145/3610579.3611084

Index Terms

Logical Time for Reactive Software
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
    1. Redundancy
  2. Embedded and cyber-physical systems
    1. Embedded systems
    2. Robotics
2. Networks
  1. Network properties
    1. Network reliability

Recommendations

A Coalgebraic Theory of Reactive Systems

In this paper we investigate the connection between two well known models for interactive systems. Reactive Systems a la Leifer and Milner allow to derive an interactive semantics from a reduction semantics guaranteeing, under rather restrictive ...
Read More
Translating STATEMATE models into FNLOG for the verification of safety requirements in reactive systems

In this paper, the authors explore the usefulness of a combination of semi-formal and formal methods in specifying reactive systems and verifying their properties. The authors propose an approach combining STATEMATE and the temporal logic FNLOG. ...
Read More
A Logical Time-Triggered Distributed Computing Environment for Cyber-Physical Systems
ICISS '23: Proceedings of the 2023 6th International Conference on Information Science and Systems

Cyber-physical systems (CPS) are real-time systems and CPS for control applications have to preserve data consistency. The paper presents a logical time-triggered distributed computing environment for CPS, which preserve data consistency by using ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CPS-IoT Week '23: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023

May 2023

419 pages

ISBN:9798400700491

DOI:10.1145/3576914

Copyright © 2023 Owner/Author.

This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 May 2023

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

National Science Foundation
Swedish Research Council
National Institutes of Health
Swedish Foundation for Strategic Research

Conference

CPS-IoT Week '23

Sponsor:

SIGBED

CPS-IoT Week '23: Cyber-Physical Systems and Internet of Things Week 2023

May 9 - 12, 2023

TX, San Antonio, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
308
Total Downloads

Downloads (Last 12 months)239
Downloads (Last 6 weeks)16

Other Metrics

View Author Metrics

Citations

Cited By

Popovski P(2024)Time, Simultaneity, and Causality in Wireless Networks With Sensing and CommunicationsIEEE Open Journal of the Communications Society10.1109/OJCOMS.2024.33744535(1693-1709)Online publication date: 2024
https://doi.org/10.1109/OJCOMS.2024.3374453
Hui JEdwards KEdwards SZhu Qvon Hanxleden RStephen EBrandt J(2023)Timestamp Peripherals for Precise Real-Time ProgrammingProceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design10.1145/3610579.3611084(137-147)Online publication date: 21-Sep-2023
https://dl.acm.org/doi/10.1145/3610579.3611084

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents