Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Thursday, October 19, 2006 - 9:09:04 AM
Last modification on : Friday, February 4, 2022 - 3:31:09 AM
Long-term archiving on: : Wednesday, March 29, 2017 - 12:55:32 PM


  • 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. ⟨inria-00107780⟩



Record views


Files downloads