Method for modeling and analysis real-time system dependability using AADL

Author

Hu Jun-hua ; Zuo Wei

Author_Institution

Weapon Control Syst. Simulation Lab., Air Force Eng. Univ, Xi´an, China

fYear

2011

fDate

15-17 April 2011

Firstpage

3356

Lastpage

3359

Abstract

As real-time systems are becoming more and more complicated, how to analyze and evaluate system dependability indices at the early stage of system development, such as reliability, availability and safety, is a crucial means of guaranteeing the usability of the developed systems. Dealing with this problem, a method of modeling and analyzing the system dependability using AADL (Architecture Analysis and Design Language) was proposed. Firstly, the system AADL dependability model was established by using both the AADL architecture model and the error model. Secondly, the system AADL dependability was transformed to Stochastic Petri Nets and Markov Chains, and the transformation rules among the models were designed. Finally, the dependability indices were calculated by MC method and a simulation was presented to validate the feasibility of the proposed method.

Keywords

Markov processes; Petri nets; error analysis; programming languages; real-time systems; stochastic processes; AADL architecture model; AADL dependability indices; AADL dependability model; MC method; Markov chains; architecture analysis and design language; error model; real-time system analysis; real-time system modeling; stochastic Petri nets; transformation rule; Adaptation model; Analytical models; Atmospheric modeling; Computational modeling; Computer architecture; Maintenance engineering; Markov processes; Dependability; Markov Chain; Model Transformation; Stochastic Petri Nets;

fLanguage

English

Publisher

ieee

Conference_Titel

Electric Information and Control Engineering (ICEICE), 2011 International Conference on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-8036-4

Type

conf

DOI

10.1109/ICEICE.2011.5777250

Filename

5777250