Fiacre: an Intermediate Language for Model Verification in the Topcased Environment - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

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.
Fichier principal
Vignette du fichier
Berthomieu-Bodeveix-Farail-et-al-08.pdf (143.04 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00262442 , version 1 (11-03-2008)

Identifiers

  • HAL Id : inria-00262442 , version 1

Cite

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), SEE : Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; 3AF : Association Aéronautique et Astronautique de France, Jan 2008, Toulouse, France. pp.1-8. ⟨inria-00262442⟩
1104 View
866 Download

Share

Gmail Facebook X LinkedIn More