Combining disparate sources of information in the safety assessment of software-based systems

Nuclear Engineering and Design

Volumn 195, Issue 3, 2000, Pages 307-319

  Dahll, Gustav ^a  

^a OECD HALDEN REACTOR PROJECT   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE SELECTION AND EVALUATION; NUCLEAR REACTOR ACCIDENTS; NUCLEAR REACTOR LICENSING;

BAYESIAN BELIEF NETWORKS;

NUCLEAR POWER PLANTS;

EID: 0033883870     PISSN: 00295493     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0029-5493(99)00213-7     Document Type: Article

References (8)

1. Aldenryd, S.H., Jensen, K.B., Nielsen, L.B., 1993. Hugin Runtime for MS-Windows. Tool made by Hugin Expert a/s, Aalborg.
2. ANSI/IEEE-ANS-7-4.3.2, 1993. Application Criteria for Programmable Digital Computer System in Safety Systems for Nuclear Power Generating Stations.
3. Dahll, G., Gran, B.A., 1998. The Use of Bayesian Belief Nets in Safety Assessment of Software Based Systems. Halden Report HWR-527.
4. Fenton, N., Littelwood, B., Neil, M., Strigini, L., Sutcliffe, A., Wright, D., 1998. Assessing dependability of safety critical systems using diverse evidence. IEE Proc. Software Eng., 145(1).
5. IEC, 1985. Analysis Techniques for Systems Reliability - Procedures for Failure Mode and Effects Analysis (FMEA). IEC Publication 812.
6. IEC, 1986. Software for Computers in the Application of Industrial Safety Related Systems. IEC Publication 880.
7. Jensen F. Introduction to Bayesian Networks. 1993;Hugin Expert a/s, Aalborg.
8. SERENE, 1999. The SERENE Project, http://www.hugin.dk/serene/.