Skip to Main content Skip to Navigation
Conference papers

Scade 6: A Formal Language for Embedded Critical Software Development

Jean-Louis Colaço 1 Bruno Pagano 1 Marc Pouzet 2, 3, 4
3 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Abstract : SCADE is a high-level language and environment for developing safety critical embedded control software. It is used for more than twenty years in various application domains like avionics, nuclear plants, transportation, automotive. SCADE has been founded on the synchronous data-flow language Lustre invented by Caspi and Halbwachs. In the early years, it was mainly seen as a graphical notation for Lustre but with the unique and key addition of a code generator qualified with the highest standards for safety critical applications. In 2008, a major revision based on the new language 'Scade 6' was released. This language originally combines the Lustre data-flow style with control structures borrowed from Esterel and SyncCharts, compilation and static analyses from Lucid Synchrone to ensure safety properties. This expressiveness increase for SCADE together with a qualified code generator have dramatically widened the scope of applications developed with. While previous publications have described some of its language constructs and compiler algorithms, no reference publication on 'Scade 6' existed so far. In this paper, we come back to the decisions made for its design, illustrate the main language features, static analyses, and the compiler organization in the context of a qualification process.
Complete list of metadata

Cited literature [38 references]  Display  Hide  Download

https://hal.inria.fr/hal-01666470
Contributor : Timothy Bourke <>
Submitted on : Monday, December 18, 2017 - 1:58:21 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

File

tase17.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01666470, version 1

Citation

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet. Scade 6: A Formal Language for Embedded Critical Software Development. TASE 2017 - 11th International Symposium on Theoretical Aspects of Software Engineering, Sep 2017, Nice, France. pp.1-10. ⟨hal-01666470⟩

Share

Metrics

Record views

733

Files downloads

718