Use of Bayesian Belief Networks when combining disparate sources of information in the safety assessment of software-based systems

Abstract

The paper discusses how disparate sources of information can be combined in the safety assessment of software-base d systems. The emphasis is put on an emerging methodology, relevant for intelligent product-suppor t systems, to combine information about disparate evidences systematically based on Bayesian Belief Networks. The objective is to show the link between basic information and the con®dence one can have in a system. How one combines the Bayesian Belief Net (BBN) method with a software safety standard (RTCA/DO-178B) for safety assessment of software-based systems is also discussed. Finally, the applicability of the BBN methodology and experiences from cooperative research work together with Kongsberg Defence & Aerospace and Det Norske Veritas, and ongoing research with VTT Automation are presented.

Quantifying security risk level from CVSS estimates of frequency and impact

“…The information is then propagated backward to the observable nodes and forward to the target node. This is one of the strengths of BBN and is, along with its ability to reason under uncertainty (Gran, 2002), the main reason why BBN was chosen as the implementation language for the model. Another reason is that it enables decision reasoning.…”

Modeling Information System Availability by using Bayesian Belief Network Approach

“…Bonafede did a review of statistical methods that can be used to model business continuity and gave an example of BBN use for that purpose [57]. Different models, based on BBN, were made in the area of software reliability [58][59][60], and management of software development projects [61][62][63].…”

Towards building a safety case for marine unmanned surface vehicles: A Bayesian perspective

“…Bayesian Belief Networks are graphical probabilistic models (Pearl, 1998). There is already a body of previous work on the use of BBNs in the analysis of software reliability and integrity (Fenton et al, 1998), (Gran, 2002), (Brito et al, 2006), (Littlewood et al, 2007). However, to the author's knowledge a BBN has not been proposed for informing the SIL claims of a MUSV.…”