A Qualitative Safety Analysis Method for AADL Model

FMECA (Failure Modes, Effects and Criticality Analysis) is an effective systematic process to 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 evaluation, and some safety properties are added into AADL error model annex in order to fill in FMECA check list automatically at AADL modeling design phase. On using the OVP (Over Voltage Protection) system, a case study is demonstrated the feasibility of modified FMECA for AADL model.

[1]  Dianxiang Xu,et al.  Integrating Safety Analysis With Functional Modeling , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[2]  Robyn R. Lutz.  Bi-directional Analysis for Certification of Safety-Critical Software , 1999 .

[3]  Fan Zhang,et al.  Study of Safety Analysis and Assessment Methodology for AADL Model , 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability Companion.

[4]  Donald J. Reifer,et al.  Software Failure Modes and Effects Analysis , 1979, IEEE Transactions on Reliability.

[5]  John A. McDermid,et al.  An integrated tool set for software safety analysis , 1993, J. Syst. Softw..

[6]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[7]  D. H. Stamatis,et al.  Failure Mode and Effect Analysis (FMEA) , 2002 .