Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation

Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that contain both the architecture and the analysis model of a given fault tolerance pattern. The concepts of the Aspect Oriented Programming paradigm can be applied at the modeling level to designate how the patterns in the fault tolerance library and the architectural UML model can be integrated. A model transformation is applied to "weave" the architecture model and the fault tolerance scheme into an integrated model, and to transform it into a Stochastic Petri Net dependability model. This paper discusses the implementation aspects of model weaving and analysis model construction.

• Type: Conference
• Year: 2006
• Where: ARCS
• Authors: Péter Domokos, István Majzik
• Keywords: ARCS 2006, Fault Tolerance, Fault Tolerance Libraries, Model, Software Engineering