| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [12 references]
https://hal.inria.fr/inria-00262442
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
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
File
Berthomieu-Bodeveix-Farail-et-...
Files produced by the author(s)