Deterministic Coordination across Multiple Timelines

Author(s): Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jeronimo Castrillon, and Edward A. Lee

Abstract
We discuss a novel approach for constructing deterministic reactive systems that revolves around a temporal model that incorporates a multiplicity of timelines. This model is central to Lingua Franca (LF), a polyglot coordination language and compiler toolchain we are developing for the definition and composition of concurrent components called reactors, which are objects that react to and emit discrete events. Our temporal model differs from existing models like the logical execution time (LET) paradigm and synchronous languages in that it reflects that there are always at least two distinct timelines involved in a reactive system; a logical one and a physical one—and possibly multiple of each kind. This article explains how the relationship between events across timelines facilitates reasoning about consistency and availability across components in cyber-physical systems (CPSs).

Electronic Downloads

• https://dl.acm.org/doi/10.1145/3615357

---

Citation Formats

• APA
  

                  
  Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jeronimo Castrillon, and Edward A. Lee. (2024). Deterministic Coordination across Multiple Timelines. In ACM Trans. Embedd. Comput. Syst., 23(5).                      
                  
                  

• MLA
  

                  
  Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jeronimo Castrillon, and Edward A. Lee. "Deterministic Coordination across Multiple Timelines." 2024. ACM Trans. Embedd. Comput. Syst., vol. 23, no. 5.                      
                  
                  

• Chicago
  

                  
  Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jeronimo Castrillon, and Edward A. Lee. "Deterministic Coordination across Multiple Timelines." 2024. In ACM Trans. Embedd. Comput. Syst., vol. 23(5).                      
                  
                  

• BibTeX
  

                      
  @article{LohstrohEtAl:24:Det,
  	author = {Marten Lohstroh, Soroush Bateni, Christian Menard, Alexander Schulz-Rosengarten, Jeronimo Castrillon, and Edward A. Lee},
  	title = {Deterministic Coordination across Multiple Timelines},
  	journal = {ACM Trans. Embedd. Comput. Syst.},
  	volume = {23},
  	number = {5},
  	month = {August},
  	year = {2024},
  	abstract = {We discuss a novel approach for constructing deterministic reactive systems that revolves around a temporal model that incorporates a multiplicity of timelines. This model is central to Lingua Franca (LF), a polyglot coordination language and compiler toolchain we are developing for the definition and composition of concurrent components called reactors, which are objects that react to and emit discrete events. Our temporal model differs from existing models like the logical execution time (LET) paradigm and synchronous languages in that it reflects that there are always at least two distinct timelines involved in a reactive system; a logical one and a physical one—and possibly multiple of each kind. This article explains how the relationship between events across timelines facilitates reasoning about consistency and availability across components in cyber-physical systems (CPSs).},
  	URL = {https://dl.acm.org/doi/10.1145/3615357}}