From Lustre to Graphical Models and SCCharts - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

From Lustre to Graphical Models and SCCharts

Abstract

We introduce a systematic approach for automatically creating a visual diagram, akin to a SCADE model, from a Lustre program. This not only saves tedious manual drawing effort but also allows the creation of different views for the same program. Furthermore, we present an extension of the SCCharts language with data-flow constructs that adhere to the Lustre semantics, which in turn permits a translation from Lustre to graphical SCCharts. This allows to use the SCCharts simulation and code synthesis machinery as an alternative to existing Lustre compilation techniques. Finally, we investigate how the sequentially constructive model of computation underlying SCCharts can be used to conservatively extend Lustre, thus providing a deterministic semantics to some Lustre programs that would be rejected under its original semantics. We have implemented and validated this work with the Eclipse-based open-source KIELER framework.
No file

Dates and versions

hal-03128683 , version 1 (02-02-2021)

Licence

Copyright

Identifiers

Cite

Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet. From Lustre to Graphical Models and SCCharts. FDL 2020 - Forum for Specification and Design Languages, Sep 2020, Kiel, Germany. ⟨10.1109/FDL50818.2020.9232944⟩. ⟨hal-03128683⟩
44 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More