Derivation of SystemC code from abstract system models

Dominique Cansell 1 Jean-François Culat 1 Dominique Méry 1 Cyril Proch 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Formal methods provide techniques and tools for constructing models of software systems and more generally of hardware/software systems. Mathematical models are incrementally developed and provide informations validated by proof assistant; the development starts by a simple model and the process enriches current models by adding details from the requirements; the process leads to a sequence of models related by the refinement relation and a sequence of directed acyclic graphs stating dependency among parameters to be computed by the future monitoring tool. Those DAGs together with the events of models, can be used to generate an architecture of the final system and a code for computing each parameter. The resulting architecture and the resulting code are produced from formally validated components; moreover, DAGs help in the organization of computations among parameters. Our work shows how formal models and DAGs can be used to build a system on chip using SystemC.
Type de document :
Communication dans un congrès
Forum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p, 2004
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:09:04
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:55:32


  • HAL Id : inria-00107780, version 1



Dominique Cansell, Jean-François Culat, Dominique Méry, Cyril Proch. Derivation of SystemC code from abstract system models. Forum on specification and Design Languages - FDL'04, 2004, Lille, France, 12 p, 2004. 〈inria-00107780〉



Consultations de la notice


Téléchargements de fichiers