Modular Compilation of a Synchronous Language - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2008

Modular Compilation of a Synchronous Language

Résumé

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 ehavioral semantics helps us to define a program by the set of its behaviors 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, observers). 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-based approach provides us with formal validation.
Fichier principal
Vignette du fichier
RR-6424.pdf (561.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00213472 , version 1 (23-01-2008)
inria-00213472 , version 2 (24-01-2008)

Identifiants

  • HAL Id : inria-00213472 , version 2
  • ARXIV : 0801.3715

Citer

Annie Ressouche, Daniel Gaffé, Valérie Roy. Modular Compilation of a Synchronous Language. [Research Report] RR-6424, INRIA. 2008, pp.61. ⟨inria-00213472v2⟩
502 Consultations
352 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More