[1] [1] EVELEENS R L C. Integrated modular avionics development guidance and certification considerations［R］.Washington:Radio Technical Commission for Aeronautics, 2005.

[4] [4] FAULIN J, JUAN A A. Simulation methods reliability and availability of complex systems［M］. London:Springer-Verlag, 2010.

[8] [8] LISNIANSKI A, FRENKEL I. Recent advances in system reliability［M］. London:Springer, 2012.

[9] [9] LI X K, HUANG N, ZHENG X Y. Application based dynamic fault tree method for AFDX network［C］//Annual Reliability and Maintainability Symposium, Tucson, AZ IEEE, 2016.doi:10.1109/RAMS.2016.7447995.

[11] [11] SHAMSI P. Applications of non-Markovian hybrid Petri-nets in power engineering［C］//IECON 2014, USA, IEEE, 2014.doi:10.1109/IECON.2014.7048481.

[12] [12] SHARDA B, BURY S J. A discrete event simulation model for reliability modeling of a chemical plant［C］//Winter Simulation Conference, USA, IEEE, 2008.doi:10.1109/WSC.2008.4736260.

[13] [13] JUAN A A, MONTEFORTE A, FERRER A, et al. Applications of discrete-event simulation to reliability and availability assessment in civil engineering structures［C］//Winter Simulation Conference, IEEE, 2009.doi:10.1109/WSC.2009.5429250.

[14] [14] POOYA P, IVY J, MAZUR L, et al. Assessing the reliability of the radiation therapy care delivery process using discrete event simulation［C］//Winter Simulation Conference, USA, IEEE, 2014.doi:10.1109/WSC.2014.7019980.

[15] [15] LEE J, TOLMAN M, BORRELLI R A. High reliability safeguards approach to remotely handled nuclear processing facilities: use of discrete event simulation for material throughput in fuel fabrication［J］. Nuclear Engineering and Design, 2017, 324(1): 54-66.