Tom-based tools to transform EMF models in avionics context - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Tom-based tools to transform EMF models in avionics context


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
Origin : Files produced by the author(s)

Dates and versions

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


  • HAL Id : hal-00730738 , version 1


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⟩
239 View
109 Download


Gmail Facebook X LinkedIn More