Generalizing Logical Execution Time

Author(s): Edward A. Lee and Marten Lohstroh

Citation
Edward A. Lee and Marten Lohstroh. "Generalizing Logical Execution Time". Principles of Systems Design, LNCS 13660, July 2023.

Abstract
In the Logical Execution Time (LET) principle, concurrent software components interact deterministically, reading their inputs atomically at the start of a task and producing outputs atomically after a fixed elapsed logical time. In addition to deterministic concurrency, LET programs yield more deterministic timing when they interact with their physical environment through sensors and actuators. This paper shows through a series of examples that the LET principle can be realized flexibly and generalized using the Lingua Franca coordination language.

Electronic Downloads

• https://ptolemy.berkeley.edu/~eal/publications/LeeLohstroh_GeneralizingLET.pdf

---

Citation Formats

• HTML
  

                  
  Edward A. Lee and Marten Lohstroh.
  "<a href="https://www.icyphy.org/publications/2023_LeeLohstroh/">Generalizing Logical Execution Time</a>".
  <i>Principles of Systems Design</i>, LNCS 13660, July 2023.
                  
                  

• Plain Text
  

                  
  Edward A. Lee and Marten Lohstroh.
  "Generalizing Logical Execution Time".
  Principles of Systems Design, LNCS 13660, July 2023.
                  
                  

• BibTeX
  

                      
  @inproceedings{LeeLohstroh:22:GeneralizingLET,
  	author = {Edward A. Lee and Marten Lohstroh},
  	title = {Generalizing Logical Execution Time},
  	booktitle = {Principles of Systems Design},
  	volume = {LNCS 13660},
  	month = {July},
  	year = {2023},
  	doi = {10.1007/978-3-031-22337-2_8},
  	abstract = {In the Logical Execution Time (LET) principle, concurrent software components interact deterministically, reading their inputs atomically at the start of a task and producing outputs atomically after a fixed elapsed logical time. In addition to deterministic concurrency, LET programs yield more deterministic timing when they interact with their physical environment through sensors and actuators. This paper shows through a series of examples that the LET principle can be realized flexibly and generalized using the Lingua Franca coordination language.},
  	URL = {https://www.icyphy.org/publications/2023_LeeLohstroh/}
  }