Formalising Engineering Judgement on Software Dependability via Belief Networks

We present the use of Bayesian belief networks to formalise reasoning about software dependability, so as to make assessments easier to build and to check. Bayesian belief networks include a graphical representation of the structure of a complex argument, and a sound calculus for representing probabilistic information and updating it with new observations. We illustrate the method and show its feasibility via a simple example, developed via a commercial computer tool, representing a form of argument which is often used in claims for high dependability. This example is not meant to be "typical", since a sound and complete argument can only be built using the knowledge available in the specific case of interest. This example, although simple, demonstrates the advantages of using belief networks for sounder assessment of reliability and safety.

[1]  Lorenzo Strigini Considerations on current research issues in software safety , 1994 .

[2]  David Wright,et al.  Stopping rules for the operational testing of safety-critical software , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[3]  Lorenzo Strigini,et al.  Using Testability Measures for Dependability Assessment , 1995, 1995 17th International Conference on Software Engineering.

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

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

[6]  Bev Littlewood,et al.  Theories of Software Reliability: How Good Are They and How Can They Be Improved? , 1980, IEEE Transactions on Software Engineering.

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

[8]  Bev Littlewood,et al.  Applying Bayesian Belief Networks to System Dependability Assessment , 1996, SSS.

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

[10]  John H R May,et al.  Integrity prediction during software development , 1992 .

[11]  Eric Horvitz,et al.  Decision Analysis and Expert Systems , 1991, AI Mag..

[12]  Gernot D. Kleiter,et al.  Bayesian Diagnosis in Expert Systems , 1992, Artif. Intell..

[13]  Bev Littlewood,et al.  Validation of ultrahigh dependability for software-based systems , 1993, CACM.

[14]  Lorenzo Strigini,et al.  Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results , 1996, SAFECOMP.

[15]  Dorothy A. Reed Treatment of uncertainty in structural damage assessment , 1993 .

[16]  Finn Verner Jensen,et al.  Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.

[17]  David Wright,et al.  A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability , 1998, SAFECOMP.