[1] EVELEENS R L C. Integrated modular avionics development guidance and certification considerations[R].Washington:Radio Technical Commission for Aeronautics, 2005.
[4] FAULIN J, JUAN A A. Simulation methods reliability and availability of complex systems[M]. London:Springer-Verlag, 2010.
[8] LISNIANSKI A, FRENKEL I. Recent advances in system reliability[M]. London:Springer, 2012.
[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] 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] 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] 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] 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] 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.