A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models

Abstract

A hybrid method of reliability analysis based on AADL models is proposed in this paper, in order to handle the problem of reliability analyzation of multi-modes redundancy system. In our method, target system in different modes is mapped into several temporal subsystems. Then an upper level system is created to hold all these subsystems, and is regarded as the mapping of the original target system. Architecture model and error model are re-constructed for these created systems. After the reconstruction of the system, a GSPN based reliability analysis method is adopted for the reliability analysis of the temporal subsystems, while a FTA based analyzation method is used with the top level system, so that to gain a clear view of the relationships between typical system failure and the states of system in different working modes. The algorithm of static fault tree generation from AADL error model is implemented within EMF, and the generated fault tree is directed into the OpenFTA toolkit for analyzation. The hybrid reliability analysis method is tested with the example illustrated in SAE5506 EMV2.