Bayesian Belief Network Model for the Safety Assessment of Nuclear Computer-based Systems

The formalism of Bayesian Belief Networks (BBNs) is being increasingly applied to probabilistic modelling and decision problems in a widening variety of fields. This method provides the advantages of a formal probabilistic model, presented in an easily assimilated visual form, together with the ready availability of efficient computational methods and tools for exploring model consequences. Here we formulate one BBN model of a part of the safety assessment task for computer and software based nuclear systems important to safety. Our model is developed from the perspective of an independent safety assessor who is presented with the task of evaluating evidence from disparate sources: the requirement specification and verification documentation of the system licensee and of the system manufacturer; the previous reputation of the various participants in the design process; knowledge of commercial pressures;information about tools and resources used; and many other sources. Based on these multiple sources of evidence, the independent assessor is ultimately obliged to make a decision as to whether or not the system should be licensed for operation within a particular nuclear plant environment. Our BBN model is a contribution towards a formal model of this decision problem. We restrict attention to a part of this problem: the safety analysis of the Computer System Specification documentation. As with other BBN applications we see this modelling activity as having several potential benefits. It employs a rigorous formalism as a focus for examination, discussion, and criticism of arguments about safety. It obliges the modeller to be very explicit about assumptions concerning probabilistic dependencies, correlations, and causal relationships. It allows sensitivity analyses to be carried out. Ultimately we envisage this BBN, or some later development of it, forming part of a larger model, which might well take the form of a larger BBN model, covering all sources of evidence about pre-operational life-cycle stages. This could provide an integrated model of all aspects of the task of the independent assessor, leading up to the final judgement about system safety in a particular context. We expect to offer some results of this further work later in the DeVa project.

[1]  Lorenzo Strigini,et al.  Engineering judgement in reliability and safety and its limits: what can we learn from research in psychology , 1996 .

[2]  David Maxwell Chickering,et al.  Learning Bayesian Networks: The Combination of Knowledge and Statistical Data , 1994, Machine Learning.

[3]  Judea Pearl,et al.  From Bayesian networks to causal networks , 1995 .

[4]  Kristian G. Olesen,et al.  HUGIN - a Shell for Building Belief Universes for Expert Systems , 1989, IJCAI 1989.

[5]  Gregory F. Cooper,et al.  A Bayesian Method for the Induction of Probabilistic Networks from Data , 1992 .

[6]  George Apostolakis,et al.  A taxonomy of issues related to the use of expert judgments in probabilistic safety studies , 1992 .

[7]  J van Lenthe ELI: A graphically oriented technique for eliciting subjective probability distributions , 1994 .

[8]  Ralph L. Keeney,et al.  Eliciting probabilities from experts in complex technical problems , 1991 .

[9]  Norman E. Fenton,et al.  Software Metrics: A Rigorous Approach , 1991 .

[10]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[11]  Lorenzo Strigini,et al.  Formalising Engineering Judgement on Software Dependability via Belief Networks , 1998 .

[12]  Michael P. Wellman,et al.  Real-world applications of Bayesian networks , 1995, CACM.

[13]  Judea Pearl,et al.  Belief Networks Revisited , 1993, Artif. Intell..

[14]  Thomas A. Louis,et al.  Graphical Elicitation of a Prior Distribution for a Clinical Trial , 1993 .

[15]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .