Work

Toward Dynamism in Distributed Lingua Franca Programs

Year: 2024

Type: article

Abstract: Distributed systems often require dynamic capabilities to ensure adaptability, efficiency, and fault-tolerance. In applications where determinism and timing are crucial, a clear and well-defined approach to deterministic dynamism is much needed, but inherently difficult to define. This letter gives dynamism deterministic semantics, thus enabling precise and repeatable behavior. To this end, we select the Lingua Franca (LF) coordination language that is based on the reactor model, and introduce dynamism to the distributed LF programs, referred to as federations. This letter outlines the challenges associated with incorporating transient federates, which are capable of joining and leaving the federation at arbitrary times, and proposes solutions to the identified problems. A realistic example of an online auction system is used to illustrate the approach. Furthermore, the potential applications of this mechanism are discussed, along with the challenges that need to be addressed.

Source: IEEE Embedded Systems Letters

DOI: 10.1109/les.2024.3465408

Authors: Chadlia Jerad, Edward A. Lee

Institutions: National School of Computer Science, Manouba University, University of California, Berkeley

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,495

Funder: National Science Foundation