Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre

Résumé

We discuss the results obtained during the development of a formal verification toolchain for AADL based on a model driven engineering approach. Our approach is characterized by the use of the pivot language FIACRE to facilitate verification activities and transformations between models. We quickly analyse the first return on experience and present ongoing work started in the scope of the Quarteft project to improve the verification chain.
Nous présentons les résultats obtenus durant le développement d’une chaîne de vérifi-cation formelle pour le langage d’architecture AADL basé sur une approche ingénierie dirigéepar les modèles. Notre approche se caractérise par l’utilisation du langage pivot FIACRE pourfaciliter les activités de vérification et de transformations entre modèles. Nous commentonsles premiers retours d’expérience issus de la mise en oeuvre de cette chaîne de vérification etprésentons en conclusion les travaux en cours dans le cadre du projet Quarteft qui visent àl’améliorer
Fichier principal
Vignette du fichier
idm2010.pdf (172.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00492327 , version 1 (30-10-2015)

Identifiants

  • HAL Id : hal-00492327 , version 1

Citer

Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, M Filali, Marc Pantel, et al.. Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre. IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France. ⟨hal-00492327⟩
188 Consultations
144 Téléchargements

Partager

Gmail Facebook X LinkedIn More