Specifically, Lingua Franca is extended toward coordinating modal behavior, while SCCharts receives a timed automaton notation with an efficient execution model ...

This thesis evolves around two distinctive languages: the actor-oriented poly- glot coordination language Lingua Franca and the synchronous statechart dialect ...

Oct 4, 2024 · Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts. University of Kiel ...

Jan 23, 2023 · The goal of the work in this paper is to bring the advan- tages of modal models to mainstream programming languages through a reactor-oriented ...

Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts. Author. Schulz-Rosengarten Alexander.

Feb 12, 2024 · Dissertation. Alexander Schulz-Rosengarten. Language Design for Reactive Systems — On Modal Models, Time, and Object Orientation in Lingua ...

May 9, 2023 · The work in this paper aims to bring the advantages of modal models to mainstream programming languages, by following the polyglot coordination approach of ...

We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts use a statechart notation and provide ...

Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts · From Lustre to Graphical Models and SCCharts.

We discuss a novel approach for constructing deterministic reactive systems that revolves around a temporal model that incorporates a multiplicity of timelines.