Skip to main content

Research Repository

Advanced Search

Model transformation for analyzing dependability of AADL model by using HiP-HOPS

Mian, Zhibao; Bottaci, Leonardo; Papadopoulos, Yiannis; Mahmud, Nidhal


Leonardo Bottaci

Nidhal Mahmud


The Architecture Analysis and Design Language (AADL) has emerged as a potential future standard in aerospace, automobile and avionics industries for model-based development of dependability-critical systems. As AADL is relatively new, some existing analysis methods and tools are not able to accept AADL models. In this paper we show that, by using model transformation techniques, we can automatically transform AADL models into a form that is directly executable by fault-tree-based dependability analysis and optimisation tools. This model transformation opens a path by which AADL models may benefit from automatic synthesis and analysis of fault trees, temporal fault tree analysis, multiple failure mode and effects analysis and model architecture optimisation. In this paper, we present a new model transformation framework. The core of the framework is a novel transformation from a state machine-based error model to a fault-tree model. The framework has been implemented as a plug-in (AADL2HiP-HOPS) for the AADL model development tool OSATE. The plug-in may be used to transform AADL models into a state-of-the-art dependability analysis and optimisation tool: HiP-HOPS. To illustrate the transformation and subsequent HiP-HOPS analysis, an example AADL model is transformed.


Mian, Z., Bottaci, L., Papadopoulos, Y., & Mahmud, N. (2019). Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Journal of Systems and Software, 151, 258-282.

Journal Article Type Article
Acceptance Date Feb 7, 2019
Online Publication Date Feb 25, 2019
Publication Date May 1, 2019
Deposit Date Jul 12, 2022
Journal Journal of Systems and Software
Print ISSN 0164-1212
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 151
Pages 258-282
Keywords Dependability modeling; Dependability analysis; AADL; HiP-HOPS; Model transformation
Public URL