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 metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/inria-00107780
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:09:04 AM
Last modification on : Thursday, September 19, 2019 - 5:00:04 PM
Long-term archiving on : Wednesday, March 29, 2017 - 12:55:32 PM

Identifiers

  • HAL Id : inria-00107780, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

250

Files downloads

184