关键词: 结构分析与设计语言(AADL), 错误模型附件(EMA), 广义随机Petri网(GSPN), 转换规则, 可靠性, 模型改进

Abstract: 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.

Key words: architecture analysis and design language (AADL), error model annex (EMA), generalized stochastic Petri net (GSPN), transformation rule, reliability, model improvement