Skip to Main content Skip to Navigation

Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques

Ana-Elena Rugina 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Performing dependability evaluation along with other analyses at architectural level allows both predicting the effects of architectural decisions on the dependability of a system and making tradeoffs. Thus, both industry and academia focus on defining model driven engineering (MDE) approaches and on integrating several analyses in the development process. AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling and is considered by industry in the context presented above. Our contribution is a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, to facilitate the evaluation of dependability measures, such as reliability or availability. 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 implemented an automatic model transformation tool. The resulting GSPN can be processed by existing tools to obtain dependability measures. The modeling approach is illustrated on a subsystem of the French Air Traffic Control System.
Complete list of metadata

Cited literature [103 references]  Display  Hide  Download
Contributor : Arlette Evrard <>
Submitted on : Thursday, January 17, 2008 - 3:27:28 PM
Last modification on : Thursday, March 5, 2020 - 2:44:35 PM
Long-term archiving on: : Tuesday, April 13, 2010 - 11:05:02 PM


  • HAL Id : tel-00207502, version 1


Ana-Elena Rugina. Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques. Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English. ⟨tel-00207502⟩



Record views


Files downloads