A survey of reliability modeling methodologies for digital instrumentation and control systems

Transactions of the American Nuclear Society

Volumn 92, Issue , 2005, Pages 422-424

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

^a The Ohio State University   (United States)

^b Bldg 1 ^*  (United States)

^c OHIO STATE UNIVERSITY   (United States)

^d U S NUCLEAR REGULATORY COMMISSION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33244490306     PISSN: 0003018X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. T. ALDEMIR, N. SIU, "Guest Editorial", Reliab. Engng & System Safety, 52, 181-184 (June 1996).
2. T. ALDEMIR, S. A. ARNDT, "Digital Control System Reliability - Issues Related to the Modeling of Process Dynamics", these proceedings.
3. S. A. ARNDT, E. A. THORNSBURY, and 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).
4. Review of Current Methods and Tools for Probabilistic Risk Assessment of Digital Systems, Brookhaven National Laboratory (January 2003).
5. IANNINO, J. D. MUSA, K. OKUMOTO, "Criteria For Software Reliability Model Comparisons", ACM Sigsoft Software Engineering Notes, 8 (3), 12-16 (July 1983).
6. D. T. SMITH, T. A. DELONG, B. 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).
7. C. J. GARRETT, G. E. APOSTOLAKIS, "Automated Hazard Analysis of Digital Control Systems", Reliability Engineering and System Safety, 77, 1-17 (2002).
8. S. GUARRO, M. YAU and S. OLIVA, "Conditional Risk Model Concept for Critical Space Systems Software," Probabilistic Safety Assessment and Management: PSAM 7-ESREL'04, C. Spitzer, U. Schmocker, V. N. Dang (Eds.), 158-163, Springer - Verlag, London, U.K. (June 2004)
9. th International Conference on Probabilistic Safety Assessment and Management, CD-ROM Version, Elsevier Science Ltd. (2002).
10. M. MARSAN, G. CONTE, "A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems", ACM Transactions on Computer Systems, 2 (2), 93-122 (May 1984).
11. J. L. PETERSON, "Petri Nets", Computing Surveys, 9 (3) (September 1977).
12. B. LI, M. LI, C. SMIDTS, "Integrating Software into PRA: A Test-Based Approach", PSAM 7-ESREL'04, C. Spitzer, U. Schmocker, and V. N. Dang (Eds.), Springer-Verlag, London, U.K. (June 2004).
13. C. SMIDTS, AND M. LI, "Validation of A Methodology For Assessing Software Quality", Report UMD_RE_2002-07, February 2002
14. Issues Associated with Probabilistic Failure Modeling of Digital Systems, Brookhaven National Laboratory (March 2003).