Representing confidence in assurance case evidence

Lian Duan; Sanjai Rayadurgam; Mats P E Heimdahl; Oleg Sokolsky; Insup Lee

doi:10.1007/978-3-319-24249-1_2

Representing confidence in assurance case evidence

Lian Duan, Sanjai Rayadurgam, Mats P E Heimdahl, Oleg Sokolsky, Insup Lee

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

8 Scopus citations

Abstract

When evaluating assurance cases, being able to capture the confidence one has in the individual evidence nodes is crucial, as these values form the foundation for determining the confidence one has in the assurance case as a whole. Human opinions are subjective, oftentimes with uncertainty—it is difficult to capture an opinion with a single probability value. Thus, we believe that a distribution best captures a human opinion such as confidence. Previous work used a doubly-truncated normal distribution or a Dempster-Shafer theory-based belief mass to represent confidence in the evidence nodes, but we argue that a beta distribution is more appropriate. The beta distribution models a variety of shapes and we believe it provides an intuitive way to represent confidence. Furthermore, there exists a duality between the beta distribution and subjective logic, which can be exploited to simplify mathematical calculations. This paper is the first to apply this duality to assurance cases.

Original language	English (US)
Title of host publication	Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings
Editors	Coen van Gulijk, Floor Koornneef
Publisher	Springer Verlag
Pages	15-26
Number of pages	12
ISBN (Print)	9783319242484
DOIs	https://doi.org/10.1007/978-3-319-24249-1_2
State	Published - 2015
Event	International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015 - Delft, Netherlands Duration: Sep 22 2015 → Sep 22 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9338
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015
Country/Territory	Netherlands
City	Delft
Period	9/22/15 → 9/22/15

Bibliographical note

Funding Information:
This work has been partially supported by NSF grants CNS-0931931 and CNS-1035715.

Publisher Copyright:
© Springer International Publishing Switzerland 2015.

Keywords

Beta distribution
Opinion triangle
Subjective logic

Publisher link

10.1007/978-3-319-24249-1_2

Find It

Find It at U of M Libraries

Cite this

Duan, L., Rayadurgam, S., Heimdahl, M. P. E., Sokolsky, O., & Lee, I. (2015). Representing confidence in assurance case evidence. In C. van Gulijk, & F. Koornneef (Eds.), Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings (pp. 15-26). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9338). Springer Verlag. https://doi.org/10.1007/978-3-319-24249-1_2

Representing confidence in assurance case evidence. / Duan, Lian; Rayadurgam, Sanjai ; Heimdahl, Mats P E et al.
Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. ed. / Coen van Gulijk; Floor Koornneef. Springer Verlag, 2015. p. 15-26 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9338).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Duan, L, Rayadurgam, S , Heimdahl, MPE, Sokolsky, O & Lee, I 2015, Representing confidence in assurance case evidence. in C van Gulijk & F Koornneef (eds), Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9338, Springer Verlag, pp. 15-26, International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015, Delft, Netherlands, 9/22/15. https://doi.org/10.1007/978-3-319-24249-1_2

Duan L, Rayadurgam S , Heimdahl MPE, Sokolsky O, Lee I. Representing confidence in assurance case evidence. In van Gulijk C, Koornneef F, editors, Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. Springer Verlag. 2015. p. 15-26. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-24249-1_2

Duan, Lian ; Rayadurgam, Sanjai ; Heimdahl, Mats P E et al. / Representing confidence in assurance case evidence. Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings. editor / Coen van Gulijk ; Floor Koornneef. Springer Verlag, 2015. pp. 15-26 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5480c05e8a2e462c9fce2077679cb7ff,

title = "Representing confidence in assurance case evidence",

abstract = "When evaluating assurance cases, being able to capture the confidence one has in the individual evidence nodes is crucial, as these values form the foundation for determining the confidence one has in the assurance case as a whole. Human opinions are subjective, oftentimes with uncertainty—it is difficult to capture an opinion with a single probability value. Thus, we believe that a distribution best captures a human opinion such as confidence. Previous work used a doubly-truncated normal distribution or a Dempster-Shafer theory-based belief mass to represent confidence in the evidence nodes, but we argue that a beta distribution is more appropriate. The beta distribution models a variety of shapes and we believe it provides an intuitive way to represent confidence. Furthermore, there exists a duality between the beta distribution and subjective logic, which can be exploited to simplify mathematical calculations. This paper is the first to apply this duality to assurance cases.",

keywords = "Beta distribution, Opinion triangle, Subjective logic",

author = "Lian Duan and Sanjai Rayadurgam and Heimdahl, {Mats P E} and Oleg Sokolsky and Insup Lee",

note = "Funding Information: This work has been partially supported by NSF grants CNS-0931931 and CNS-1035715. Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015 ; Conference date: 22-09-2015 Through 22-09-2015",

year = "2015",

doi = "10.1007/978-3-319-24249-1_2",

language = "English (US)",

isbn = "9783319242484",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "15--26",

editor = "{van Gulijk}, Coen and Floor Koornneef",

booktitle = "Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings",

}

TY - GEN

T1 - Representing confidence in assurance case evidence

AU - Duan, Lian

AU - Rayadurgam, Sanjai

AU - Heimdahl, Mats P E

AU - Sokolsky, Oleg

AU - Lee, Insup

N1 - Funding Information: This work has been partially supported by NSF grants CNS-0931931 and CNS-1035715. Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - When evaluating assurance cases, being able to capture the confidence one has in the individual evidence nodes is crucial, as these values form the foundation for determining the confidence one has in the assurance case as a whole. Human opinions are subjective, oftentimes with uncertainty—it is difficult to capture an opinion with a single probability value. Thus, we believe that a distribution best captures a human opinion such as confidence. Previous work used a doubly-truncated normal distribution or a Dempster-Shafer theory-based belief mass to represent confidence in the evidence nodes, but we argue that a beta distribution is more appropriate. The beta distribution models a variety of shapes and we believe it provides an intuitive way to represent confidence. Furthermore, there exists a duality between the beta distribution and subjective logic, which can be exploited to simplify mathematical calculations. This paper is the first to apply this duality to assurance cases.

AB - When evaluating assurance cases, being able to capture the confidence one has in the individual evidence nodes is crucial, as these values form the foundation for determining the confidence one has in the assurance case as a whole. Human opinions are subjective, oftentimes with uncertainty—it is difficult to capture an opinion with a single probability value. Thus, we believe that a distribution best captures a human opinion such as confidence. Previous work used a doubly-truncated normal distribution or a Dempster-Shafer theory-based belief mass to represent confidence in the evidence nodes, but we argue that a beta distribution is more appropriate. The beta distribution models a variety of shapes and we believe it provides an intuitive way to represent confidence. Furthermore, there exists a duality between the beta distribution and subjective logic, which can be exploited to simplify mathematical calculations. This paper is the first to apply this duality to assurance cases.

KW - Beta distribution

KW - Opinion triangle

KW - Subjective logic

UR - http://www.scopus.com/inward/record.url?scp=84969816362&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84969816362&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-24249-1_2

DO - 10.1007/978-3-319-24249-1_2

M3 - Conference contribution

AN - SCOPUS:84969816362

SN - 9783319242484

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 15

EP - 26

BT - Computer Safety, Reliability, and Security - AFECOMP 2015 Workshops ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Proceedings

A2 - van Gulijk, Coen

A2 - Koornneef, Floor

PB - Springer Verlag

T2 - International Conference on Computer Safety, Reliability, and Securitym, SAFECOMP 2015 and held 3rd International Workshop on Assurance Cases for Software-Intensive Systems ASSURE 2015, Workshop on Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems, DECSoS 2015, 2nd International Workshop on the Integration of Safety and Security Engineering, ISSE 2015, Workshop on Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI 2015, and 4th InternationalWorkshop on NextGeneration of System Assurance Approaches for Safety-Critical Systems SASSUR, 2015

Y2 - 22 September 2015 through 22 September 2015

ER -

Representing confidence in assurance case evidence

Abstract

Publication series

Other

Bibliographical note

Keywords

Publisher link

Find It

Other files and links

Fingerprint

Cite this