RES for non-Markovian repairable fault trees
481
34. Ridder, A.: Importance sampling simulations of Markovian reliability systems
using cross-entropy. Annals of Operations Research 134(1), 119–136 (2005).
https://doi.org/10.1007/s10479-005-5727-9
35. Rubino, G., Tuffin, B.: Introduction to rare event simulation. In:
Rare Event Simulation Using Monte Carlo Methods [36], pp. 1–13.
https://doi.org/10.1002/9780470745403.ch1
36. Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods.
John Wiley & Sons, Ltd (2009)
37. Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance
analysis and optimization via statistical model checking. In: QEST 2016. LNCS,
vol. 9826, pp. 331–347. Springer (2016). https://doi.org/10.1007/978-3-319-434254_22
38. Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: A practical
experience report. In: DSN 2016. pp. 662–669. IEEE Computer Society (2016).
https://doi.org/10.1109/DSN.2016.67
39. Ruijters, E., Reijsbergen, D., de Boer, P.T., Stoelinga, M.: Rare event simulation
for dynamic fault trees. Reliability Engineering & System Safety 186, 220–231
(2019). https://doi.org/10.1016/j.ress.2019.02.004
40. Ruijters, E., Stoelinga, M.: Fault tree analysis: A survey of the state-of-the-art
in modeling, analysis and tools. Computer Science Review 15-16, 29–62 (2015).
https://doi.org/10.1016/j.cosrev.2015.03.001
41. Sullivan, K.J., Dugan, J.B.: Galileo user’s manual & design overview. https:
//www.cse.msu.edu/~cse870/Materials/FaultTolerant/manual-galileo.htm (1998),
v2.1-alpha
42. Sullivan, K., Dugan, J., Coppit, D.: The Galileo fault tree analysis tool. In: 29th Annual International Symposium on FaultTolerant Computing (Cat. No.99CB36352). pp. 232–235. IEEE (1999).
https://doi.org/10.1109/FTCS.1999.781056
43. Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J., Railsback, J.:
Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance (2002), version 1.1
44. Villén-Altamirano, J.: RESTART method for the case where rare events can occur
in retrials from any threshold. Int. J. Electron. Commun. 52(3), 183–189 (1998)
45. Villén-Altamirano, J.: Importance functions for RESTART simulation of highly-dependable systems. Simulation 83(12), 821–828 (2007).
https://doi.org/10.1177/0037549707081257
46. Villén-Altamirano, J.: RESTART vs splitting: A comparative study. Performance
Evaluation 121-122, 38–47 (2018). https://doi.org/10.1016/j.peva.2018.02.002
47. Villén-Altamirano, M., Martínez-Marrón, A., Gamo, J., Fernández-Cuesta, F.: Enhancement of the accelerated simulation method RESTART by considering multiple thresholds. In: Proc. 14
th Int. Teletraffic Congress, Teletraffic Science and
Engineering, vol. 1, pp. 797–810. Elsevier (1994). https://doi.org/10.1016/B978-0444-82031-0.50084-6
48. Villén-Altamirano, M., Villén-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM (ITC13). pp. 71–76. Elsevier (1991)
49. Xiao, G., Li, Z., Li, T.: Dependability estimation for non-Markov consecutive-kout-of-n: F repairable systems by fast simulation. Reliability Engineering & System
Safety 92(3), 293–299 (2007). https://doi.org/10.1016/j.ress.2006.04.004
481
34. Ridder, A.: Importance sampling simulations of Markovian reliability systems
using cross-entropy. Annals of Operations Research 134(1), 119–136 (2005).
https://doi.org/10.1007/s10479-005-5727-9
35. Rubino, G., Tuffin, B.: Introduction to rare event simulation. In:
Rare Event Simulation Using Monte Carlo Methods [36], pp. 1–13.
https://doi.org/10.1002/9780470745403.ch1
36. Rubino, G., Tuffin, B. (eds.): Rare Event Simulation Using Monte Carlo Methods.
John Wiley & Sons, Ltd (2009)
37. Ruijters, E., Guck, D., Drolenga, P., Peters, M., Stoelinga, M.: Maintenance
analysis and optimization via statistical model checking. In: QEST 2016. LNCS,
vol. 9826, pp. 331–347. Springer (2016). https://doi.org/10.1007/978-3-319-434254_22
38. Ruijters, E., Guck, D., van Noort, M., Stoelinga, M.: Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: A practical
experience report. In: DSN 2016. pp. 662–669. IEEE Computer Society (2016).
https://doi.org/10.1109/DSN.2016.67
39. Ruijters, E., Reijsbergen, D., de Boer, P.T., Stoelinga, M.: Rare event simulation
for dynamic fault trees. Reliability Engineering & System Safety 186, 220–231
(2019). https://doi.org/10.1016/j.ress.2019.02.004
40. Ruijters, E., Stoelinga, M.: Fault tree analysis: A survey of the state-of-the-art
in modeling, analysis and tools. Computer Science Review 15-16, 29–62 (2015).
https://doi.org/10.1016/j.cosrev.2015.03.001
41. Sullivan, K.J., Dugan, J.B.: Galileo user’s manual & design overview. https:
//www.cse.msu.edu/~cse870/Materials/FaultTolerant/manual-galileo.htm (1998),
v2.1-alpha
42. Sullivan, K., Dugan, J., Coppit, D.: The Galileo fault tree analysis tool. In: 29th Annual International Symposium on FaultTolerant Computing (Cat. No.99CB36352). pp. 232–235. IEEE (1999).
https://doi.org/10.1109/FTCS.1999.781056
43. Vesely, W., Stamatelatos, M., Dugan, J., Fragola, J., Minarick, J., Railsback, J.:
Fault tree handbook with aerospace applications. NASA Office of Safety and Mission Assurance (2002), version 1.1
44. Villén-Altamirano, J.: RESTART method for the case where rare events can occur
in retrials from any threshold. Int. J. Electron. Commun. 52(3), 183–189 (1998)
45. Villén-Altamirano, J.: Importance functions for RESTART simulation of highly-dependable systems. Simulation 83(12), 821–828 (2007).
https://doi.org/10.1177/0037549707081257
46. Villén-Altamirano, J.: RESTART vs splitting: A comparative study. Performance
Evaluation 121-122, 38–47 (2018). https://doi.org/10.1016/j.peva.2018.02.002
47. Villén-Altamirano, M., Martínez-Marrón, A., Gamo, J., Fernández-Cuesta, F.: Enhancement of the accelerated simulation method RESTART by considering multiple thresholds. In: Proc. 14
th Int. Teletraffic Congress, Teletraffic Science and
Engineering, vol. 1, pp. 797–810. Elsevier (1994). https://doi.org/10.1016/B978-0444-82031-0.50084-6
48. Villén-Altamirano, M., Villén-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Queueing, Performance and Control in ATM (ITC13). pp. 71–76. Elsevier (1991)
49. Xiao, G., Li, Z., Li, T.: Dependability estimation for non-Markov consecutive-kout-of-n: F repairable systems by fast simulation. Reliability Engineering & System
Safety 92(3), 293–299 (2007). https://doi.org/10.1016/j.ress.2006.04.004