Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio


LINGUA FRANCA (LF) is a polyglot coordination language designed for the composition of concurrent, timesensitive, and potentially distributed reactive components called reactors. The LF coordination layer facilitates the use of target languages (e.g., C, C++, Python, TypeScript) to realize the program logic, where each target language requires a separate runtime implementation that must correctly implement the reactor semantics. Verifying the correctness of runtime implementations is not a trivial task, and is currently done on the basis of regression testing. To provide a more formal verification tool for existing and future target runtimes, as well as to help verify properties of LF programs, we recruit the use of GEMOC Studio-an Eclipse-based workbench for the development, integration, and use of heterogeneous executable modeling languages. We present an operational model for LF, realized in GEMOC Studio, that is primed to interact with a rich set of analysis and verification tools. Our instrumentation provides the ability to navigate the execution of LF programs using an omniscient debugger with graphical model animation; to check assertions in particular execution runs, or exhaustively, using a model checker; and to validate or debug traces obtained from arbitrary LF runtime environments.
Fichier principal
Vignette du fichier
FDL21.pdf (759.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03374955 , version 1 (12-10-2021)



Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh. Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio. FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France. ⟨10.1109/FDL53530.2021.9568383⟩. ⟨hal-03374955⟩
83 View
145 Download



Gmail Facebook Twitter LinkedIn More