Academic Journal
From Lustre to Graphical Models and SCCharts
| العنوان: | From Lustre to Graphical Models and SCCharts |
|---|---|
| المؤلفون: | Grimm, Lena, Smyth, Steven, Schulz-Rosengarten, Alexander, Hanxleden, Reinhard von, Pouzet, Marc |
| المصدر: | ACM Transactions on Embedded Computing Systems ; ISSN 1539-9087 1558-3465 |
| بيانات النشر: | Association for Computing Machinery (ACM) |
| سنة النشر: | 2022 |
| الوصف: | We introduce a systematic approach for automatically creating a visual diagram, akin to the graphical SCADE model, from a Lustre program. This not only saves tedious manual drawing effort but also enables modeling software to automatically provide the developer with different meaningful views for the same program. We also extend the SCCharts language with data-flow constructs that adhere to the Lustre semantics, which permits a translation from Lustre to graphical SCCharts. This allows using the SCCharts code generation, simulation and visualization tooling also for Lustre programs, in addition to the already existing Lustre compilation techniques. Furthermore, we investigate how the sequentially constructive model of computation, used in SCCharts and other synchronous languages, can be used to conservatively extend Lustre. We have implemented and validated this work with the Eclipse-based open-source KIELER framework. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| DOI: | 10.1145/3544973 |
| الاتاحة: | http://dx.doi.org/10.1145/3544973 https://dl.acm.org/doi/pdf/10.1145/3544973 |
| رقم الانضمام: | edsbas.BFC70176 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1145/3544973 |
|---|