Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-00730738
Contributor : Jean-Christophe Bach <>
Submitted on : Tuesday, September 11, 2012 - 8:40:13 AM
Last modification on : Friday, June 25, 2021 - 11:40:01 AM
Long-term archiving on: : Friday, December 16, 2016 - 11:45:47 AM

File

final_version.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00730738⟩

Share

Metrics

Record views

570

Files downloads

283