Study and Development of Model Transformation Methods Applied to the Design of Integrated Modular Avionics Systems (Trans-IMA)

Trans-IMA aims at defining a model-driven approach for the synthesis of complex, integrated Matlab Simulink models capable of simulating the software and hardware architecture of an airplane. It has two main goals: (i) define a model-driven development process for allocating software functions captured as Simulink models over different hardware architectures and (ii) develop its
supporting tooling platform for executing the defined process.

The tooling for Trans-IMA is based on the Eclipse platform and heavily relies on the EMF-IncQuery and its related query based technologies.