An MDE-based synthesis of aircraft safety models

Authors:
Sébastien Maitrehenry;Sylvain Metge;Yamine Aït-Ameur;Pierre Bieber
Affiliations:
Airbus Operations S.A.S., Toulouse, France;Airbus Operations S.A.S., Toulouse, France;ENSEEIHT, Toulouse, France;ONERA, Toulouse, France
Venue:
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Year:
2012

Citing 7
Cited 0

A nested-graph model for the representation and manipulation of complex objects

ACM Transactions on Information Systems (TOIS)
The AltaRica formalism for describing concurrent systems

Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Notable design patterns for domain-specific languages

Journal of Systems and Software
Hierarchical graph transformation

Journal of Computer and System Sciences
An object oriented approach to represent behavioural knowledge in heterogeneous information systems

OOIS '00 Proceedings of the 6th International Conference on Object Oriented Information Systems
Model Transformation: The Heart and Soul of Model-Driven Software Development

IEEE Software
Algorithms for the hypergraph and the minor crossing number problems

ISAAC'07 Proceedings of the 18th international conference on Algorithms and computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ensuring aircraft safety is a huge activity that requires a lot of effort. Today, it is still mostly made from a document management that is very complex and heavy to maintain. Thanks to a Model Driven Engineering (MDE) based approach, new processes and tools, based on models, are introduced at Airbus to overcome this difficulty. In this paper, we present an application of model transformation techniques to automatically generate safety models from design models made by the aircraft architects. We focus on the formalization of our model transformation and address some issues and chosen solutions, in particular concerning annotation, traceability and graph specialization.