On Reliability Analysis for Embedded Systems with AADL Behavior Model
Chang Shaofeng, Dong Yunwei, Fan Wei Zhang · 2012
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.