Software System Reliability Modeling and Evaluation Using AADL
Gao Jin-liang · Jisuanji kexue yu tansuo · 2011
Architecture analysis and design language(AADL) is used in embedded field for architecture modeling,analysis and verification.As for the problem that the reliability of system becomes crucial along with the increasing of its size,complexity and performance requirements,this paper gives an AADL-based software system reliability modeling and evaluation framework:first establishes the AADL reliability model,and then transforms it into gener-alized stochastic Petri net(GSPN) model for analysis,finally judges whether model improvement is needed or not according to the analysis results.Based on the study of the existing basic translation rules,this paper focuses on the transformation rules from error propagations between the system components and the Guard_Transition property representing mode translations to GSPN,and then takes data transmission and process units in a flight control sys-tem for example to verify the effectiveness of transformation rules and framework.