Skip to Main content Skip to Navigation
Conference papers

From Lustre to Graphical Models and SCCharts

Lena Grimm 1 Steven Smyth 1 Alexander Schulz-Rosengarten 1 Reinhard von Hanxleden 1 Marc Pouzet 2, 3
3 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique - ENS Paris, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
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.
Complete list of metadata

https://hal.inria.fr/hal-03128683
Contributor : Timothy Bourke Connect in order to contact the contributor
Submitted on : Tuesday, February 2, 2021 - 1:31:00 PM
Last modification on : Friday, January 21, 2022 - 3:19:32 AM

Licence


Copyright

Identifiers

Collections

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles