Benchmark development for comparing digital instrumentation and control system reliability modeling approaches

American Nuclear Society International Topical Meeting on Probabilistic Safety Analysis, PSA 05

Volumn 2005, Issue , 2005, Pages 1027-1036

  Kirschenbaum, Jason ^a   Bucci, Paolo ^a   Stovsky, Michael ^d   Aldemir, Tune ^b   Arndt, Steven A ^c  

^a The Ohio State University   (United States)

^b OHIO STATE UNIVERSITY   (United States)

^c U S NUCLEAR REGULATORY COMMISSION   (United States)

^d NONE

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARK SYSTEM; DIGITAL SYSTEMS; RELIABILITY MODELING;

ACCIDENT PREVENTION; CONTROL SYSTEMS; NUCLEAR POWER PLANTS; RELIABILITY; RISK MANAGEMENT;

BENCHMARKING;

EID: 33745835399     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (44)

1. Guideline for Performing Defense-in-Depth and Diversity Assessments for Digital I&C Upgrades - Applying Risk-Informed and Deterministic Methods, Report#1002835, EPRI, Palo Alto, CA (2004)
2. ACRS Letter Report to L. Joseph Callan, "Regulatory Guidance on Implementation of Digital I&C Systems", June 23, 1997
3. C. J. GARRETT, G. E. APOSTOLAKIS, "Automated hazard analysis of digital control systems", Reliab. Engng & System Safety, 77, 1-17 (2002)
4. S. GUARRO, M YAU, AND M. MOTAMED, "Development of tools for Safety Analysis of Control Software in Advanced Reactors", NUREG/CR-6465, U.S. Nuclear Regulatory Commission, Washington D.C (1996)
5. D. TODD SMITH, TODD A. DELONG, AND BARRY W. JOHNSON, "A Safety Assessment Methodology for Complex Safety-Critical Hardware/Software Systems", International Topical Meeting on Nuclear Plant Instrumentation, Controls, and Human-Machine Interface Technologies, Washington, DC, November, 2000
6. N. F. SCHNEIDEWIND AND T.W. KELLER, "Applying Reliability Models to the Space Shuttle," IEEE Software, July 1992, pp. 28-33.
7. Y. ZHANG, AND M. M GOLAY, "Development of a Method for Quantifying The Reliability of Nuclear Safety-Related Software", PSAM6: Proceedings of the 6th International Conference on Probabilistic Safety Assessment and Management, CD-ROM Version, Elsevier Science Ltd. 2002
8. G. PAI, S. DONOHUE, J. DUGAN, "Estimating Software Reliability From Process and Product Evidence", PSAM6: Proceedings of the 6th International Conference on Probabilistic Safety Assessment and Management, CD-ROM Version, Elsevier Science Ltd. 2002
9. P. L. GODDARD, "A Combined Analysis Approach to Assessing Requirements for Safety Critical Real-Time Control Systems", Hughes Aircraft Company, IEEE Proceedings Annual Reliability Maintainability Symposium, 1996
10. A. RAUZY, "Mode automata and their compilation into fault trees", Reliab. Engng & System Safety, 78, 1-12 (2002)
11. M. BALAKRISHMAN, K. TRIVEDI, "Stochastic Petri Nets for reliability analysis of communication network applications with alternate routing", Reliab. Engng & System Safety, 53(1996) pp. 243-259
12. J. L. PETERSON, "Petri Nets", Computing Surveys, Vol 9, No 3, September 1977.
13. M. MARSAN, G. CONTE, "A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems", ACM Transactions on Computer Systems, Vol 2, No. 2, May 1984, Pg. 93-122.
14. T. S. LIU, S. B. CHIOU, "The application of Petri nets to failure analysis", Reliability Engineering and System Safety, Vol 57, February 1997, Pg. 129-142.
15. C. LI, M. LI, C. SMIDTS, "Integrating Software into PRA: A Test-Based Approach", PSAM 7-ESREL'04, C. Spitzer, U. Schmocker, V. N. Dang (Eds.), Springer - Verlag, London, U.K. (June 2004)
16. C. SMIDTS, M. LI, "Validation of A Methodology For Assessing Software Quality", Report UMD_RE_2002-07, February 2002
17. N. F. SCHNEIDEWIND, "Analysis of Error Processes in Computer Software", Proc. Int'l Conf. Reliable Software, IEEE CS Press, Los Alamitos, Calif., 1975, Pg. 76-78
18. L. M. KAUFMAN, B. W. JOHNSON, "Embedded Digital System Reliability and Safety Analyses", NUREG/GR-0020, U.S. Nuclear Regulatory Commission, Washington, D.C. (2001)
19. S. A. ARNDT, E. A. THORNSBURY, N. O. SIU, "What PRA needs from a digital system analysis", Probabilistic Safety Assessment and Management, E. J. Bonano, A. L. Camp, M. J. Majors and R. A. Thompson (Eds.), 1917-1922, Elsevier Science Publishing Co., New York (2001)
20. R.WALKER, "Intel 8080 Central Processing Unit," 1980, available at http://www.ordersomewherechaos.com/rosso/fctish/m102/web100/docs/intel-8085- prefacc.html.
21. National Research Council, Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues, National Academy Press (1997)
22. C. Johnson, "The Sampling Theorem", Retrieved January 10, 2004, from Connexions at Rice University: http://cnx.rice.edu/content/m0050/lalest/
23. General Principles of Software Validation; Final Guidance for Industry and PDA Staff," January 11, 2002, http://www.fda.gov/cber/guidelines.htm
24. H. KANG, T.SUNG "An Analysis of safety-critical digital systems for risk-informed analysis", Reliability Engineering and System Safety, 78, 307-314, 2002
25. Definition of Aliasing, available at http://en.wildpedia.org/wiki/ Aliasing
26. NIST/SEMATECH e-Handbook of Statistical Methods, http://www.itl.nist.gov/ div898/handbook/apr/apr.htm
27. R.S. PRESSMAN, "Software Engineering: A Practitioner's Approach," 6th Edition McGraw-Hill, 2005
28. J. F. KUROSE, W. K. ROSS, Computer Networking A Top-down Approach Featuring the Internet. Boston:Addison Wesley page 460-466., 2003
29. M. SINGHAL, N. G. SHIVARATRI, Advanced Concepts in Operating Systems, New York: McGraw-Hill, page.297-366
30. T. ALDEMIR, N. SIU, "Guest Editorial", Reliab. Engng & System Safety, 52, 181-184 (June 1996)
31. T. ALDEMIR, D.W. MILLER, A. W. FENTIMAN, "Integration of Reliability Models for Nuclear Power Plant Digital Instrumentation and Control Systems into Probabilistic Risk Assessment Studies", these proceedings
32. IEEE 323-1999 "Recommended Practice for Environmental (Temperature, pressure and radiation) Qualification of Class IE Equipment for Nuclear Power Generating Station", Institute of Electrical and Electronics Engineers, 3 Park Avenue, 17th Floor, New York, New York 10016-5997 USA, 1999
33. IEEE 344-1998, "Recommended Practice for Seismic Qualification of Class IE Equipment for Nuclear Power Generating Stations", Institute of Electrical and Electronics Engineers, 3 Park Avenue, 17th Floor, New York, New York 10016-5997 USA, 1998
34. RG 1.180, Rev. 1, "Guidelines for Evaluating Electromagnetic and Radio-Frequency Interference in Safety-Related Instrumentation and Control Systems," ", U.S. Nuclear Regulatory Commission, Washington D.C., 20555-0001, January, 2000.
35. C. PERROW,"Normal Accidents, Living with High-Risk Technologies", 1999 Princeton University Press, New Jersey
36. J. KIRSCHENBAUM, M. STOVSKY, P. BUCCI, T. ALDEMIR, S.A. ARNDT, "A Survey of Reliability Modeling Methodologies for Digital Instrumentation and Control Systems", to appear in Trans. Am. Nucl. Soc., 92 (June 2005)
37. Brookhaven National Laboratory, "Review of Current Methods and Tools for Probabilistic Risk Assessment of Digital Systems," January 10, 2003
38. BROOKS, "No Silver Bullet: Essence and Accidents of Software Engineering," Computer, Vol. 20, No. 4 (April 1987) pp. 10-19
39. GAO/IMTEC-92-26, "Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia"
40. W. CHENEY, D. KINCAID, "Numerical Mathematics and Computing, 4th edition, Brooks/Cole Publishing Company, 1999
41. G. SIBERSCHATZ, G, GAGNE, Operating System Concepts, 6th addition, John Wiley and Sons, inc, 2003
42. C. HAMACHER, J. ZVRANESIC, ZAKY, "Computer Organization", fifth edition, McGraw Hill, 2002
43. J. MANSON, W. PUGH, S. ADVE, "The Java Memory Model," POPL '05, January 12-14, 2005, Long Beach, California, USA
44. L. LAMPORT, R. SHOSTAK, M. PEASE. "The Byzantine Generals Problem", ACM Transactions on Programming Languages and Systems, 4(3), 382-401, July 1982