s'authentifier
version française rss feed

inria-00262442, version 1

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

Bernard Berthomieu () 1, Jean-Paul Bodeveix 2, Patrick Farail a3, Mamoun Filali () 2, Hubert Garavel () b4, Pierre Gaufillet a3, Frederic Lang () b4, François Vernadat () 1

ERTS 2008 (2008)

Résumé : 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.

  • Domaine : Informatique/Génie logiciel
 
  • inria-00262442, version 1
  • oai:hal.inria.fr:inria-00262442
  • Contributeur : 
  • Soumis le : Mardi 11 Mars 2008, 16:38:01
  • Dernière modification le : Mardi 18 Mars 2008, 13:44:14
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...