Modular Compilation of a Synchronous Language

Abstract : Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing the reliability of systems, especially those which are safety or business critical. It is still difficult to develop automatic specification and verification tools due to limitations like state explosion, undecidability, etc... In this work, we design a new specification model based on a reactive synchronous approach. Then, we benefit from a formal framework well suited to perform compilation and formal validation of systems. In practice, we design and implement a special purpose language (LE) and its two semantics the behavioural semantics helps us to define a program by the set of its behaviours and avoid ambiguousness in programs' interpretation; the execution equational semantics allows the modular compilation of programs into software and hardware targets (C code, Vhdl code, Fpga , synthesis, Verification tools). Our approach is pertinent considering the two main requirements of critical realistic applications: the modular compilation allows us to deal with large systems, the model-driven approach provides us with formal validation.
Type de document :
Chapitre d'ouvrage
Roger Lee. Software Engineering Research, Management and Applications, 150, Springer, pp.151-171, 2008, Studies in Computational Intelligence, 978-3-540-70774-5. 〈10.1007/978-3-540-70561-1〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00523528
Contributeur : Annie Ressouche <>
Soumis le : mardi 5 octobre 2010 - 15:16:14
Dernière modification le : vendredi 12 janvier 2018 - 01:59:01
Document(s) archivé(s) le : jeudi 6 janvier 2011 - 02:54:13

Fichier

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

Identifiants

Citation

Annie Ressouche, Daniel Gaffé, Valérie Roy. Modular Compilation of a Synchronous Language. Roger Lee. Software Engineering Research, Management and Applications, 150, Springer, pp.151-171, 2008, Studies in Computational Intelligence, 978-3-540-70774-5. 〈10.1007/978-3-540-70561-1〉. 〈inria-00523528〉

Partager

Métriques

Consultations de la notice

263

Téléchargements de fichiers

159