A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Representation of Confidence in Assurance Cases Using the Beta Distribution
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,
doi:10.1109/hase.2016.52
dblp:conf/hase/DuanRHSL16
fatcat:ycb7wr5jvzeylgbd6jhubu3vty