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

Bernard Berthomieu 1 Jean-Paul Bodeveix 2 Patrick Farail 3 Mamoun Filali 2 Hubert Garavel 4 Pierre Gaufillet 3 Frederic Lang 4 François Vernadat 1
1 LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
2 IRIT - Institut de recherche en informatique de Toulouse
3 Airbus [France]
4 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
ERTS 2008, Jan 2008, Toulouse, France. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00262442
Contributeur : Frederic Lang <>
Soumis le : mardi 11 mars 2008 - 16:38:01
Dernière modification le : mercredi 11 janvier 2017 - 01:06:33
Document(s) archivé(s) le : vendredi 21 mai 2010 - 00:11:39

Fichier

Berthomieu-Bodeveix-Farail-et-...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00262442, version 1

Collections

INRIA | LIG | UGA | LAAS-VERTICS | UNIV-TLSE2 | LAAS-INFORMATIQUE-CRITIQUE | UNIV-TLSE3 | LAAS | LIG_SRCPR | SMS

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>

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de
la notice

1029

Téléchargements du document

402

Contact


archive-ouverte@inria.fr