From Lustre to Graphical Models and SCCharts - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

From Lustre to Graphical Models and SCCharts

Résumé

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.
Fichier non déposé

Dates et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

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⟩
65 Consultations
0 Téléchargements

Altmetric

Partager

More