Int J Performability Eng ›› 2017, Vol. 13 ›› Issue (6): 807-822.doi: 10.23940/ijpe.17.06.p3.807822

• Original articles • Previous Articles     Next Articles

A Subjective Logic-Based Approach for Assessing Confidence in Assurance Case

Chunchun Yuan, Ji Wu*, Chao Liu, and Haiyan Yang   

  1. School of Computer Science and Engineering, Beihang University, Beijing, China

Abstract: Assurance case has been widely used to justify safety, security and other properties of systems. The extent we can trust the assurance case, i.e., confidence in assurance case, is still an open issue in the area. This paper proposes a subjective logic based approach to assess the confidence in assurance case. Compare to other quantitative tools such as Bayesian Belief Network or Dempster-Shafer theory, subjective logic can (1) handle uncertainty and vagueness that usually are contained in expert opinions, and (2) provide appropriate logic operators to deal with different argument types. In the paper, we firstly define the concepts of confidence, sufficiency and necessity to measure the affecting factors to the confidence. Then, we identify four basic argument types and define confidence propagation rules for them. The confidence in assurance case can be calculated iteratively from the bottom up. The application of the proposed approach is illustrated by an industry case study.

Submitted on July 25, 2017; Revised on August 30, 2017; Accepted on September 15, 2017(This paper was presented at the Third International Symposium on System and Software Reliability.
References: 27