Issues associated with probabilistic failure modeling of digital systems

American Nuclear Society 4th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology

Volumn , Issue , 2004, Pages 1725-1735

  Chu, T L ^a   Martinez Guridi, G ^a   Lehner, J ^a   Overland, D ^b  

^a BROOKHAVEN NATIONAL LABORATORY   (United States)

^b U S NUCLEAR REGULATORY COMMISSION   (United States)

Author keywords

Digital Systems; Probabilistic Risk Assessment; Safety Critical Systems

Indexed keywords

DIGITAL SYSTEMS; PROBABILISTIC RISK ASSESSMENT; SAFETY-CRITICAL SYSTEMS;

ACCIDENT PREVENTION; NUCLEAR INSTRUMENTATION; PROBABILISTIC LOGICS; RISK ASSESSMENT;

DIGITAL DEVICES;

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

References (25)

1. American National Standards Institute and American Institute of Aeronautics and Astronautics, "Recommended Practice for Software Reliability," ANSI/AIAA R-013-1992.
2. Arndt, S. A., Thornsbury, E. A., and Siu, N. O., "What PRA Needs from a Digital Systems Analysis," Proceedings of the 6th International Conference on Probabilistic Safety Assessment & Management, San Juan, Puerto Rico, June 2002.
3. Cutright, E., Belong, T., and Johnson, B., "Generic Processor Fault Model," University of Virginia, Technical Report UVA-CSCS-NSE-004, Revision 00, August 1, 2003.
4. Dahll, G., Gran, B.A., and Liwang, B., "Decision Support for Approval of Safety Critical Programmable Systems," NEA/CSNI/R(2002)1/VOL1.
5. Dugan, J. B., et al., "Dynamic Fault-Tree Models for Fault-Tolerant Computer Systems," IEEE Transactions on Reliability, Vol. 41, N. 3, September 1992.
6. Florida Power and Light Company, Licensee Event Report, 94-005, 1994.
7. Garrett, C., and Apostolakis, G.A., "Context in the Risk Assessment of Digital Systems," Risk Analysis, Vol 19, No. 1, 1999.
8. Goddard, P. L., "A Combined Analysis Approach to Assessing Requirements for Safety Critical Real-Time Control Systems," Hughes Aircraft Company, IEEE Proceedings, Annual Reliability Maintainability Symposium, 1996.
9. Hecht, M., and Hecht, H., "Digital Systems Software Requirement Guidelines, Guidelines", NUREG/CR-6734, volume 1, August 2001a.
10. Hecht, M., and Hecht, H., "Digital Systems Software Requirement Guidelines, Failure Description", NUREG/CR-6734, volume 2, August 2001b.
11. "IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations," IEEE Std. 7-4.3.2-2003.
12. Knight, J.C., and N. G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming," IEEE Transactions of Software Engineering, 12(1) 96-109, 1986.
13. Leveson, N., "Software Safety in Embedded Computer Systems", Communications of the ACM, 34, 34-46, February 1991.
14. Leveson, N.G., Safeware, System Safety and Computers, University of Washington, Addison-Wesley Publishing Company, 1995.
15. Littlewood, B., "Software Reliability Modeling: Achievements and Limitations," CompEuro '91. 'Advanced Computer Technology, Reliable Systems and Applications'. 5th Annual European Computer Conference, 13-16 May 1991.
16. Lyu, M. R., Handbook of Software Reliability Engineering, IEEE Computer Society Press, 1996.
17. Malhotra, M., and Trivedi, K.S., "Dependability Modeling Using Petri-Net," IEEE Transaction on Reliability, Vol. 44, Issue 3, September 1995.
18. National Research Council, "Digital Instrumentation and Control Systems in Nuclear Power Plants, Safety and Reliability Issues," Final Report, Committee on Application of Digital Instrumentation and Control Systems to Nuclear Power Plant Operations and safety, National Research Council, National Academy Press, 1997.
19. Preckshot, G., "Method for Performing Diversity and Defense-in Depth Analyses of Reactor Protection Systems," Lawrence Livermore National Laboratory, NUREG/CR-6303, December 1994.
20. Reliability Analysis Center, "Reliability Prediction of Electronic Equipment," Rome Laboratory, MIL-HDBK-217F, December 1991.
21. Reliability Analysis Center, and Performance Technology, "New System Reliability Assessment Method," IITRI Project No. A06830, June 1, 1998.
22. Singpurwalla, N.D., "The Failure Rate of Software: Does It Exist?" IEEE Transactions on Reliability, Vol. 44, No. 3, September 1995.
23. Smidts, C., and Li, M., "Validation of a Methodology for Assessing Software Quality," Draft Complete on February 2002.
24. USNRC, "Technical Basis and Implementation Guidelines for A Technique for Human Event Analysis (ATHEANA), NUREG-1624, Rev. 1, May 2000.
25. Westinghouse, "AP600 Probabilistic Risk Assessment," Westinghouse Electric Corporation, ENEL, Revision 7, June 28, 1996.