Int J Performability Eng ›› 2017, Vol. 13 ›› Issue (6): 844-853.doi: 10.23940/ijpe.17.06.p6.844853

• Original articles • Previous Articles     Next Articles

An Analysis Tool Towards Fault Tolerance Systems based on AADL Error Model

Wenbing Zhanga, Guohua Shena, *, Zhiqiu Huanga, Zhibin Yanga, and Lei Xueb   

  1. aNanjing University of Aeronautics and Astronautics, No.29 Jiangjun Road, Nanjing and 211106, China
    bShanghai Aerospace Electronic Technology Institute, Shanghai 201109, China

Abstract: Fault-tolerant embedded systems can provide the correct service with the active faults. It is important to verify the ability of fault tolerance in system design phase especially for safety-critical systems. Besides, the verification of models can reduce the cost of the system development. The Architecture Analysis and Design Language (AADL) and its Error Model Annex (EMV2) provide the ability to model a fault tolerance system. The error event, error propagation and error state machine provided by the AADL Error Model Annex can model an embedded system. However, there is a problem that whether the model satisfies the requirement of fault tolerance or not. We design a component-based algorithm to verify the ability of fault tolerance. The error and warning messages will be produced by our algorithm. Finally, a plugin based on the Osate2 tool and a case study are given.

Submitted on July 25, 2017; Revised on August 30, 2017; Accepted on September 15, 2017(This paper was presented at the Third International Symposium on System and Software Reliability.
References: 27