Tom-based tools to transform EMF models in avionics context

Abstract : Model Driven Engineering (MDE) is now widely used in many industrial contexts (such as AeroSpace) which require a high level of system safety. Model-checking is one of the formal techniques which are used to assess a system compliance to its requirements. It relies on verification dedicated languages to model the system under verification and the expected properties. In order to ease the use of these tools, model transformations are provided that translate the end user provided system model to the formal languages than can be verified. In order to rely on these activities for system certification, the correctness of these transformation steps must be assessed (qualification of the development and verification tools). One of the goal of our work is to provide tools to implement the transformation steps between end user source languages used for the system development and target languages used for formal verification. This paper present the {Tom} rule-based approach used in a research project involving industrial partners: Airbus and Ellidiss.
Type de document :
Communication dans un congrès
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany. 2012
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00730738
Contributeur : Jean-Christophe Bach <>
Soumis le : mardi 11 septembre 2012 - 08:40:13
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 11:45:47

Fichier

final_version.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00730738, version 1

Citation

Jean-Christophe Bach, Pierre-Etienne Moreau, Marc Pantel. Tom-based tools to transform EMF models in avionics context. ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany. 2012. 〈hal-00730738〉

Partager

Métriques

Consultations de la notice

384

Téléchargements de fichiers

162