The method allows to perform a reliability or safety analysis on the system model that is created and used for simulation studies. The procedure automatically determines the so called minimal path sets or minimal cut sets of a system; its failure probability and critical components.
The reliability and safety analysis methods are incorporated in a Modelica library that is established for the modelling and simulation of aircraft on-board electrical power systems. The recent trend towards a broader use of electric system technologies on commercial aircraft has motivated the creation of this kind of model library; which supports the conceptual design and optimisation of on-board electrical systems regarding power behaviour; weight; reliability and safety.
Keywords: Reliability; safety; fault modelling; redundant system; minimal path sets; minimal cut sets
 Bineid M; Fielding J P: Development of an aircraft systems dispatch reliability design methodology. The Aeronautical Journal; pp. 345-352; June 2006.
 Birolini A: Reliability Engineering – Theory and Practice. Fifth Edition; Springer Verlag Berlin; 2007.
 CleanSky project; http://www.cleansky.eu
 Heidtmann K D: Smaller Sums of Disjoint Products by Subproduct Inversion. IEEE Transactions on Reliability; Vol. 38; No. 3; pp. 305-311; August 1989. doi: 10.1109/24.44172.
 Moir I; Seabridge A: Aircraft Systems - Me-chanical; electrical and avionics subsystems integration. John Wiley & Sons Ltd; 2008.