On Reliability Analysis for Embedded Systems with AADL Behavior Model

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.