Abstract:

In order to support the system reliability analysis and evaluation for a new generation of avionics system in the architecture design stage, a reliability modeling method is proposed based on the architecture analysis and design language (AADL) system architecture model. A transformation rule is designed which performs transformation from the AADL architecture reliability model to the system architecture general stochastic petri net (SAGSPN) model, and the realiability assessment is conducted based on the weighted SAGSPN calculation model. Finally, the reliability assessment of a flight control system is performed to verify the effectiveness of the method. The method provides a support for assessing the system design schema.