DocumentCode
3538476
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
fYear
2012
fDate
27-29 Aug. 2012
Firstpage
116
Lastpage
119
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quality Software (QSIC), 2012 12th International Conference on
Conference_Location
Xi´an, Shaanxi
ISSN
1550-6002
Print_ISBN
978-1-4673-2857-9
Type
conf
DOI
10.1109/QSIC.2012.56
Filename
6319233
Link To Document