Code generation in the SACRES project

Thierry Gautier (1) , Paul Le Guernic (1)

1 EP-ATR - Environnement de programmation d'applications temps réel

The SACRES project is dealing with the development of new design methodologies and associated tools for safety critical embedded systems. Emphasis is put on formal techniques for modular verification of the specifications, distributed code generation, and generated code validation against specifications. This is allowed by using a single formal model which is that of the DC+ format, which provides a common semantic framework for all tools as well as end user specification formalisms. Modular and distributed code generation is the main subject of this paper. Distributed code generation aims at reducing the dependency of the design with respect to the target architecture. Modularity helps reuse of existing designs, and makes it possible to address much larger systems.

Domaines: Systèmes embarqués

Thierry Gautier, Paul Le Guernic. Code generation in the SACRES project. Seventh Safety-critical Systems Symposium (SSS'99), Feb 1999, Huntingdon, United Kingdom. pp.127-149. ⟨hal-00543824⟩