evaluate software safety. In this paper, the safety model of embedded systems is built by
integrating the AADL (Architecture Analysis and Design Language) model with extension of
Error Model Annex, and the FMECA is adopted as a qualitative safety analysis for AADL
(Architecture Analysis and Design Language) model of embedded system based on AADL
safety model. The traditional FMECA method is improved to be suitable for AADL model …