SCADE Papers

A curated collection of papers and slides about SCADE, Lustre, Esterel, and synchronous dataflow programming.

Lustre

• Caspi, P., et.al. LUSTRE: A Declarative Language for Real-Time Programming. Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages - POPL ’87 [Munich, West Germany], 1987, page 178-88. DOI.org (Crossref), https://doi.org/10.1145/41625.41641.

• Pascal Raymond. Compilation efficace d’un langage d´eclaratif synchrone : le g´en´erateur de code Lustre-V3. Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble INPG, 1991. Fran¸cais.

• Frédéric Rocheteau. Extension du langage LUSTRE et application à la conception de circuits: le langage LUSTRE-V4 et le système POLLUX. Modélisation et simulation. Institut National Polytechnique de Grenoble- INPG, 1992. Français. NNT: . tel-00342092

• Halbwachs, N. . Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE ’05. [Verona, Italy], 2005, page 3-12. DOI.org (Crossref), https://doi.org/10.1109/MEMCOD.2005.1487884.

• Caspi, Paul, et.al. . Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems [Dublin Ireland], 2009, page 11-20. DOI.org (Crossref), https://doi.org/10.1145/1542452.1542455.

Heptagon

• Léonard Gérard. Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone. Autre [cs.OH]. Université Paris Sud- Paris XI, 2013. Français. NNT: 2013PA112202. tel-00929932

Velus

• Lélio Brun. Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Programming Languages [cs.PL]. Université Paris sciences et lettres, 2020. English.NNT:2020UPSLE003.tel-03068862

• Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet. Verified Lustre Normalization with Node Subsampling. ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (5s), pp.1-25.10.1145/3477041 . hal-03370264

• Basile Pesin. Verified Compilation of a Synchronous Dataflow Language with State Machines. Computer Science [cs]. PSL University, 2023. English.NNT:.tel-04830529

• Timothy Bourke, Basile Pesin, Marc Pouzet. Verified Compilation of Synchronous Dataflow with State Machines. EMSOFT 2023: 23rd International Conference on Embedded Software, Sep 2023, Hamburg, Germany. pp.137:1-137:26,10.1145/3608102.hal-04201401

• Paul Jeanmaire. Une sémantique dénotationnelle pour un compilateur synchrone vérifié. Informatique [cs]. Université PSL (Paris Sciences & Lettres), 2024. Français.NNT:.tel-04885682

Scade

• Cédric Auger. Certified compilation of SCADE/LUSTRE. Autre [cs.OH]. Université Paris Sud- Paris XI, 2013. Français.NNT: 2013PA112018 .tel-00818169

• Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, et al.. Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568- 1592. 10.1109/JPROC.2018.2858016. hal-01879026