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
Inria de Paris, DI-ENS - Département d'informatique de l'École normale supérieure, CNRS - Centre National de la Recherche Scientifique
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.
Type de document :
Communication dans un congrès
TASE 2017 - 11th International Symposium on Theoretical Aspects of Software Engineering, Sep 2017, Nice, France. Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), pp.1-10, 2017, 〈http://tase2017.unice.fr〉
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01666470
Contributeur : Timothy Bourke <>
Soumis le : lundi 18 décembre 2017 - 13:58:21
Dernière modification le : mercredi 12 septembre 2018 - 11:37:56

Fichier

tase17.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01666470, version 1

Collections

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. Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), pp.1-10, 2017, 〈http://tase2017.unice.fr〉. 〈hal-01666470〉

Partager

Métriques

Consultations de la notice

303

Téléchargements de fichiers

110