Tom-based tools to transform EMF models in avionics context - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Tom-based tools to transform EMF models in avionics context

Résumé

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.
Fichier principal
Vignette du fichier
final_version.pdf (473.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00730738 , version 1 (11-09-2012)

Identifiants

  • HAL Id : hal-00730738 , version 1

Citer

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. ⟨hal-00730738⟩
256 Consultations
116 Téléchargements

Partager

Gmail Facebook X LinkedIn More