From Lustre to Graphical Models and SCCharts | IEEE Conference Publication | IEEE Xplore

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 e...Show More

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.
Date of Conference: 15-17 September 2020
Date Added to IEEE Xplore: 03 November 2020
ISBN Information:
Print on Demand(PoD) ISSN: 1636-9874
Conference Location: Kiel, Germany

Contact IEEE to Subscribe

References

References is not available for this document.