Reliability Analysis for Wheel Brake Systems Based on AADL  
Author Dawei Cheng


Co-Author(s) Zhong Lu; Yuping Yang


Abstract The traditional reliability analysis methods such as Reliability Block Diagram (RBD), Fault Tree Analysis (FTA), Markov Analysis (MA) are all subjective methods whose results depend on the designers’ skills and experiences. A model-based reliability method is proposed for the wheel brake system by using AADL. The wheel brake system is modeled based on the AADL, and the AADL Error Model Annex is applied to describe the fault propagation of the system. An information extraction approach is proposed for the AADL based model, and rules of transforming AADL based models to Colored Petri Nets (CPN) are given according to the information extracted. The reliability analysis of the wheel brake system is conducted in terms of the CPN. In this study, the reliability analysis results are generated via the system model automatically, they are not depending on the analysts’ experiences and skills and the ambiguity among different analysts can be avoided.


Keywords AADL, reliability analysis, colored Petri net, model transformation, error model
    Article #:  RQD26-230

Proceedings of 26th ISSAT International Conference on Reliability & Quality in Design
Virtual Event

August 5-7, 2021