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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A., Griffault, G., Point, G., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Inf. 40(2-3), 109–124 (2000)
Point, G., Rauzy, A.: AltaRica – Constraint automata as a description language. European Journal on Automation 33(8-9), 1033–1052 (1999)
Maitrehenry, S., Metge, S., Bieber, P., Ait-Ameur, Y.: Toward Model-Based Functional Hazard Assessment at Aircraft Level. ESREL (2011)
Jézéquel, J.-M., Combemale, B., Vojtisek, D.: Ingénierie Dirigée par les Modèles, des concepts à la pratique. Ellipse Edition Marketing S.A., 17–23, 35–41 (2012)
Taha, W.: Domain-Specific Languages. In: International Conference on Computer Engineering Systems ICCES, pp. xxiii–xxviii (2008)
Spinellis, D.: Notable design patterns for domain-specific languages. The Journal of Systems and Software 56, 91–99 (2001)
Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)
Sendall, S., Kozaczynaki, W.: Model Transformation – the Heart and Soul of Model-Driven Software Development. IEEE Sofware (2003)
Yuehua, L.: A Model Transformation Approach to Automated Model Evolution. PhD Thesis (2007)
Mens, T., Czarnecki, K., Van Corp, P.: A Taxonomy of Model Transformation. In: International Workshop on Graph and Model Transformation, GraMoT (2005)
Vara, J.-M., Bollati, V.-A., Vela, B., Marcos, E.: Leveraging Model Transformations by means of Annotation Models. In: Jouault, F. (ed.) MtATL, pp. 96–102 (2009)
Drivalos, N., Paige, R., Fernandes, F., Kolovos, D.: Towards Rigorously Defined Model-to-Model traceability. In: Traceability Workshop, European Conference in Model Driven Architecture, EC-MDA (2008)
Vanhoff, B., Van Baelen, S., Joosen, W., Berbers, Y.: Traceability as Input for Model Transformations. In: Traceability Workshop, European Conference in Model Driven Architecture, EC-MDA (2007)
Dehainsala, H., Jean, S., Xuan Dung, N., Pierra, G.: Ingénierie dirigée par les modèles en Express : un exemple d’application. Premières Journées sur l’Ingénierie Dirigée par les Modèles (2005)
Ait-Ameur, Y., Pierra, G., Sardet, E.: An object oriented approach to represent behavioural knowledge inheterogeous information systems. In: International Conference on Object-Oriented Information Systems (OOIS), pp. 315–339 (2000)
Courcelle, B.: Introduction à la théorie des graphes : Définitions, applications et techniques de preuves. Université Bordeaux 1, LaBRI (2004)
Drewes, F., Hoffmann, B., Plump, D.: Hierarchical Graph Transformation. Journal of Computer and System Sciences 64, 249–283 (2002)
Chimani, M., Gutwenger, C.: Algorithms for the Hypergraph and the Minor Crossing Number Problems. In: Tokuyama, T. (ed.) ISAAC 2007. LNCS, vol. 4835, pp. 184–195. Springer, Heidelberg (2007)
Poulovassilis, A., Levene, M.: A Nested-Graph Model for the Representation and Manipulation of Complex Objects. ACM Trans. on Information Systems 12, 35–68 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maitrehenry, S., Metge, S., Aït-Ameur, Y., Bieber, P. (2012). An MDE-Based Synthesis of Aircraft Safety Models. In: Abelló, A., Bellatreche, L., Benatallah, B. (eds) Model and Data Engineering. MEDI 2012. Lecture Notes in Computer Science, vol 7602. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33609-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-33609-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33608-9
Online ISBN: 978-3-642-33609-6
eBook Packages: Computer ScienceComputer Science (R0)