HAL : hal-00543824, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Seventh Safety-critical Systems Symposium (SSS'99), Huntingdon : Royaume-Uni (1999)

Code generation in the SACRES project

Thierry Gautier 1, Paul Le Guernic 1

(1999)

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.

1 :	EP-ATR (INRIA - IRISA)
	INRIA – CNRS : UMR6074 – Institut National des Sciences Appliquées (INSA) - Rennes – Université de Rennes 1

Domaine

:

Informatique/Systèmes embarqués

hal-00543824, version 1

http://hal.archives-ouvertes.fr/hal-00543824

oai:hal.archives-ouvertes.fr:hal-00543824

Contributeur : Thierry Gautier <>

Soumis le : Lundi 6 Décembre 2010, 17:10:28

Dernière modification le : Jeudi 9 Décembre 2010, 10:23:09