Skip to Main content Skip to Navigation
Conference papers

Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio

Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03374955
Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Tuesday, October 12, 2021 - 2:04:36 PM
Last modification on : Thursday, August 4, 2022 - 4:59:30 PM
Long-term archiving on: : Thursday, January 13, 2022 - 7:37:57 PM

File

FDL21.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

62

Files downloads

109