Title :
On Reliability Analysis for Embedded Systems with AADL Behavior Model
Author :
Shaofeng, Chang ; Yunwei, Dong ; Fan, Zhang
Author_Institution :
Sch. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an, China
Abstract :
It presents a method of AADL reliability analysis and assessment for embedded systems in this paper. The system reliability is not only relies on system architecture, but also relates to dynamic behavior of system model. Based on behavior model, it generates error model automatically which has been widely used in reliability modeling and analysis, and this reflects the association between error happening and component behavior. At last, a case study is introduced to demonstrate the performance of the approach.
Keywords :
software architecture; AADL behavior model; architecture analysis and design language; architecture system; embedded systems; reliability analysis; Aircraft navigation; Analytical models; Computational modeling; Computer architecture; Data models; Software reliability; AADL architecture; behavior model; error model; reliability;
Conference_Titel :
Quality Software (QSIC), 2012 12th International Conference on
Conference_Location :
Xi´an, Shaanxi
Print_ISBN :
978-1-4673-2857-9
DOI :
10.1109/QSIC.2012.56
