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
ERTS 2008, Jan 2008, Toulouse, France. 2008


https://hal.inria.fr/inria-00262442
Contributor : Frederic Lang <>
Submitted on : Tuesday, March 11, 2008 - 4:38:01 PM
Last modification on : Monday, June 22, 2015 - 10:11:56 AM

File

Berthomieu-Bodeveix-Farail-et-...
fileSource_public_author

Identifiers

  • HAL Id : inria-00262442, version 1

Citation

Bernard Berthomieu, Jean-Paul Bodeveix, Patrick Farail, Mamoun Filali, Hubert Garavel, et al.. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. ERTS 2008, Jan 2008, Toulouse, France. 2008. <inria-00262442>

Export

Share

Metrics

Consultation de
la notice

572

Téléchargement du document

127