Representation of Confidence in Assurance Cases Using the Beta Distribution

Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, Insup Lee
2016 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)  
Assurance cases are used to document an argument that a system-such as a critical software system-satisfies some desirable property (e.g., safety, security, or reliability). Demonstrating high confidence that the claims made based on an assurance case can be trusted is crucial to the success of the case. Researchers have proposed quantification of confidence as a Baconian probability ratio of eliminated concerns about the assurance case to the total number of identified concerns. In this paper,
more » ... we extend their work by mapping this discrete ratio to a continuous probability distribution-a beta distribution-enabling different visualizations of the confidence in a claim. Further, the beta distribution allows us to quantify and visualize the uncertainty associated with the expressed confidence. Additionally, by transforming the assurance case into a reasoning structure, we show how confidence calculations can be performed using beta distributions. Abstract-Assurance cases are used to document an argument that a system-such as a critical software system-satisfies some desirable property (e.g., safety, security, or reliability). Demonstrating high confidence that the claims made based on an assurance case can be trusted is crucial to the success of the case. Researchers have proposed quantification of confidence as a Baconian probability ratio of eliminated concerns about the assurance case to the total number of identified concerns. In this paper, we extend their work by mapping this discrete ratio to a continuous probability distribution-a beta distributionenabling different visualizations of the confidence in a claim. Further, the beta distribution allows us to quantify and visualize the uncertainty associated with the expressed confidence. Additionally, by transforming the assurance case into a reasoning structure, we show how confidence calculations can be performed using beta distributions.
doi:10.1109/hase.2016.52 dblp:conf/hase/DuanRHSL16 fatcat:ycb7wr5jvzeylgbd6jhubu3vty