Dependability modeling and evaluation : from AADL to stochastic Petri nets
Ana‐Elena Rugina · OpenGrey (Institut de l'Information Scientifique et Technique) · 2007
AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling and is considered by industry in the context of model driven engineering approaches. Our contribution is a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures. We propose an iterative approach for system dependability modeling using AADL. In this context, we also provide a set of reusable modeling patterns for fault tolerant architectures. The AADL dependability model is transformed into a GSPN (Generalized Stochastic Petri Net) by applying model transformation rules. We have developed an automatic transformation tool. The resulting GSPN can be processed by existing tools to obtain dependability measures.