HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Fiacre: an Intermediate Language for Model Verification in the Topcased Environment

Abstract : Fiacre was designed in the framework of the TOPCASED project dealing with model-driven engineering and gathering numerous partners, from both industry and academics. Therefore, Fiacre is designed both as the target language of model transformation engines from various models such as SDL, UML, AADL, and as the source language of compilers into the targeted verification toolboxes, namely CADP and Tina in the first step. In this paper, we present the Fiacre language. Then transformations from AADL to Fiacre are illustrated on a small example.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

Contributor : Frederic Lang Connect in order to contact the contributor
Submitted on : Tuesday, March 11, 2008 - 4:38:01 PM
Last modification on : Tuesday, April 5, 2022 - 3:42:27 AM
Long-term archiving on: : Friday, May 21, 2010 - 12:11:39 AM


Files produced by the author(s)


  • HAL Id : inria-00262442, version 1


Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, M Filali, Hubert Garavel, et al.. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p. ⟨inria-00262442⟩



Record views


Files downloads