Title: Using MDA for Safety Critical Systems Development:
       Transformation and Analysis of Integrated Modular Avionics Richard Paige
Richard Paige

Abstract

In the context of building and analysing an IMA system, which is required to 
undergo safety certification, we compare the use of a transformation language 
and a general-purpose model management language, for model-based analysis. The 
comparison highlights challenges with using MDA/MDD for critical systems 
development, and demonstrates some of the characteristics that are needed in 
languages used for analysing IMA systems.