Work

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

Year: 2008

Type: conference-paper

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.

Source: HAL

Authors: Berthomieu, B, Bodeveix, J,, Farail, P, Filali, M, Garavel, H, Gaufillet, P, Lang, F, Vernadat, F

Institutions: Université Toulouse III - Paul Sabatier, Airbus (France), Centre National de la Recherche Scientifique

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1584851823

FWCI: 5.33

Cites: 12

Cited by: 110

Related to: 10