Exact reliability quantification of highly reliable systems with maintenance

Marseguerra, 2001, Principles of Monte Carlo simulation for application to reliability and availability analysis, 37 Tanaka, 1989, Evaluation of a dynamic reliability problem based on order of component failure, IEEE Trans Reliab, 38, 573, 10.1109/24.46483 Baca, 1993, Examples of Monte Carlo methods in reliability estimation based on reduction of prior information, IEEE Trans Reliab, 42, 645, 10.1109/24.273599 Briš, 2008, Parallel simulation algorithm for maintenance optimization based on directed Acyclic Graph, Reliab Eng Syst Saf, 93, 852, 10.1016/j.ress.2007.03.036 Cepin, 2005, Analysis of truncation limit in probabilistic safety assessment, Reliab Eng Sys Saf, 87, 395, 10.1016/j.ress.2004.06.009 Choi, 2007, A practical method for accurate quantification of large fault trees, Reliab Eng Syst Saf, 92, 971, 10.1016/j.ress.2006.07.005 Dutuit, 2005, Approximate estimation of system reliability via fault trees, Reliab Eng Syst Saf, 87, 163, 10.1016/j.ress.2004.02.008 Rahnamai KR, Caglayan AK, Stubbs CL. Enforced software diversity for a tracking application. Final Report No. R8908 for NASA, Contract No. NAS1-17705, 1989. Mochizuki, 2006, Technology for high reliability system LSIs, NEC Tech J, 1, No3 Briš, 2009, Unavailability calculations within the limits of computer accuracy, J Int Group Reliab: Reliab Risk Anal: Theory Appl, 2, 98 Briš, 2007, Stochastic ageing models—extensions of the classic renewal theory, Reliab: Theory Appl, 2, 19 Briš, 2007, Mathematical modeling of both monitored and dormant failures, 376 Dutuit Y, Chatelet E. TEST CASE No. 1, Periodically tested parallel system. Test-case activity of European Safety and Reliability Association. ISdF-ESRA 1997. In: Workshop within the European conference on safety and reliability ESREL 1997, Lisbon. MOCA-RP, MOnte-CArlo basé sur les Réseaux de Petri. Software developed for TOTAL by GFI-Consulting, Version 10.08, 2003. Myers, 2008, Assessment of redundant systems with imperfect coverage by means of binary decision diagrams, Reliab Eng Syst Saf, 93, 1025, 10.1016/j.ress.2007.05.002 Vaurio, 1995, Optimization of test and maintenance intervals based on risk and cost, Reliab Eng Syst Saf, 49, 23, 10.1016/0951-8320(95)00035-Z Yang, 2000, Optimization of the STI of safety systems at the plant level, Nucl Technol, 132, 352, 10.13182/NT00-A3149 C, 1997, PSA improves surveillance requirements in technical specifications, Reliab Eng Syst Saf, 56, 69, 10.1016/S0951-8320(96)00138-X Martorell, 2002, Comparing effectiveness and efficiency in technical specifications and maintenance optimization, Reliab Eng Syst Saf, 77, 281, 10.1016/S0951-8320(02)00061-3 C, 2002, Optimization of safety equipment outages improves safety, Reliab Eng Syst Saf, 77, 71, 10.1016/S0951-8320(02)00030-3