{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T19:03:21Z","timestamp":1769886201150,"version":"3.49.0"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T00:00:00Z","timestamp":1723593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2024,9,30]]},"abstract":"<jats:p>We introduce a systematic approach for automatically creating a visual diagram, akin to the graphical Safety Critical Application Development Environment (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 Sequentially Constructive Charts (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 Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER) framework.<\/jats:p>","DOI":"10.1145\/3544973","type":"journal-article","created":{"date-parts":[[2022,7,29]],"date-time":"2022-07-29T11:48:23Z","timestamp":1659095303000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["From Lustre to Graphical Models and SCCharts"],"prefix":"10.1145","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5580-4589","authenticated-orcid":false,"given":"Lena","family":"Grimm","sequence":"first","affiliation":[{"name":"Department of Computer Science, Kiel University, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2470-0880","authenticated-orcid":false,"given":"Steven","family":"Smyth","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kiel University, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1494-8631","authenticated-orcid":false,"given":"Alexander","family":"Schulz-Rosengarten","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kiel University, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5691-1215","authenticated-orcid":false,"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Kiel University, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2651-7708","authenticated-orcid":false,"given":"Marc","family":"Pouzet","sequence":"additional","affiliation":[{"name":"D\u00e9partement d\u2019informatique, \u00c9cole normale sup\u00e9rieure, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,8,14]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.8285623"},{"key":"e_1_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594310"},{"key":"e_1_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03418-4_1"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/203241.203251"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/FDL50818.2020.9232944"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248426"},{"key":"e_1_3_2_10_2","article-title":"The Lustre V6 Reference Manual","author":"Jahier Erwan","year":"2016","unstructured":"Erwan Jahier, Pascal Raymond, and Nicolas Halbwachs. 2016. The Lustre V6 Reference Manual. Verimag, Grenoble (Dec. 2016).","journal-title":"Verimag, Grenoble"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/1375657.1375674"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.159839"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1017\/S095679689700261X"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/21.108304"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2013.11.005"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2013.6645246"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.5220\/0010186400380049"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03418-4_15"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/2627350"},{"key":"e_1_3_2_22_2","volume-title":"Strict Sequential Constructiveness","author":"Schulz-Rosengarten Alexander","year":"2016","unstructured":"Alexander Schulz-Rosengarten. 2016. Strict Sequential Constructiveness. Master thesis. Kiel University, Department of Computer Science. Retrieved from https:\/\/rtsys.informatik.uni-kiel.de\/biblio\/downloads\/theses\/als-mt.pdf."},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594310"},{"key":"e_1_3_2_24_2","first-page":"471","volume-title":"Proceedings of the IFIP Congress on Information Processing (IFIP\u201974)","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn. 1974. The Semantics of a Simple Language for Parallel Programming. In Proceedings of the IFIP Congress on Information Processing (IFIP\u201974), Jack L. Rosenfeld (Ed.). IFIP, North-Holland Publishing, 471\u2013475."},{"key":"e_1_3_2_25_2","first-page":"993","volume-title":"Proceedings of the IFIP Congress on Information Processing (IFIP\u201977)","author":"Kahn Gilles","year":"1977","unstructured":"Gilles Kahn and David B. MacQueen. 1977. Coroutines and Networks of Parallel Processes. In Proceedings of the IFIP Congress on Information Processing (IFIP\u201977). 993\u2013998."},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086261"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.128"},{"key":"e_1_3_2_28_2","volume-title":"Modular Code Generation for SCCharts","author":"L\u00fcdemann Gavin","year":"2021","unstructured":"Gavin L\u00fcdemann. 2021. Modular Code Generation for SCCharts. Bachelor thesis. Kiel University, Department of Computer Science. Retrieved from https:\/\/rtsys.informatik.uni-kiel.de\/biblio\/downloads\/theses\/glu-bt.pdf."},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3281278.3281283"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.5555\/6448"},{"key":"e_1_3_2_31_2","volume-title":"Interactive Model-Based Compilation\u2014A Modeller-Driven Development Approach","author":"Smyth Steven","year":"2021","unstructured":"Steven Smyth. 2021. Interactive Model-Based Compilation\u2014A Modeller-Driven Development Approach. Dissertation. Kiel University, Faculty of Engineering, Kiel."},{"key":"e_1_3_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876901"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9053-3"},{"key":"e_1_3_2_34_2","volume-title":"Proceedings of the Conference on Embedded Real Time Software and Systems (ERTS\u201908)","author":"Dormoy Fran\u00e7ois Xavier","year":"2008","unstructured":"Fran\u00e7ois Xavier Dormoy. 2008. SCADE 6 A Model Based Solution for Safety Critical Software Development. In Proceedings of the Conference on Embedded Real Time Software and Systems (ERTS\u201908)."},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/1134650.1134667"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2006.11"},{"issue":"2","key":"e_1_3_2_37_2","first-page":"33","article-title":"SCEst: Sequentially Constructive Esterel","volume":"17","author":"Smyth Steven","year":"2017","unstructured":"Steven Smyth, Christian Motika, Karsten Rathlev, Reinhard von Hanxleden, and Michael Mendler. 2017. SCEst: Sequentially Constructive Esterel. ACM Trans. Embed. Comput. Syst. 17, 2, Article 33 (Dec.2017), 33:1\u201333:26 pages.","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0238-x"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544973","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3544973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:01Z","timestamp":1750186801000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3544973"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,14]]},"references-count":37,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,9,30]]}},"alternative-id":["10.1145\/3544973"],"URL":"https:\/\/doi.org\/10.1145\/3544973","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8,14]]},"assertion":[{"value":"2022-01-31","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-11","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}