Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

CPS Theory

Computer Sciences

2016

Articles 1 - 1 of 1

Full-Text Articles in Engineering

Representation Of Confidence In Assurance Cases Using The Beta Distribution, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, Insup Lee Jan 2016

Representation Of Confidence In Assurance Cases Using The Beta Distribution, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, Insup Lee

Departmental Papers (CIS)

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 distribution— enabling different visualizations of the ...