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 - Essays Dedicated to Thomas A. Hensinzer on the Occasion of his 60th Birthday, 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

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 - Essays Dedicated to Thomas A. Hensinzer on the Occasion of his 60th Birthday</i>, LNCS 13660, July 2023.
                    
                    
  • Plain Text
                    
    Edward A. Lee and Marten Lohstroh.
    "Generalizing Logical Execution Time".
    Principles of Systems Design - Essays Dedicated to Thomas A. Hensinzer on the Occasion of his 60th Birthday, 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 - Essays Dedicated to Thomas A. Hensinzer on the Occasion of his 60th Birthday},
    volume = {LNCS 13660},
    month = {July},
    year = {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.}, URL = {https://www.icyphy.org/publications/2023_LeeLohstroh/} }