Measuring Confidence of Assurance Cases in Safety-Critical Domains

Simple item page
dc.contributor.authorLin, Chung-Ling
dc.contributor.authorShen, Wuwei
dc.contributor.authorCheng, Betty
dc.date.accessioned2020-01-04T08:30:15Z
dc.date.available2020-01-04T08:30:15Z
dc.date.issued2020-01-07
dc.description.abstractEvaluation of assurance cases typically requires certifiers’ domain knowledge and experience, and, as such, most software certification has been conducted manually. Given the advancement in uncertainty theories and software traceability, we envision that these technologies can synergistically be combined and leveraged to offer some degree of automation to improve the certifiers’ capability to perform software certification. To this end, we present DS4AC, a novel confidence calculation framework that 1) applies the Dempster-Shafer theory to calculate the confidence between a parent claim and its children claims; and 2) uses the vector space model to evaluate the confidence for the evidence items using traceability information. We illustrate our approach on two different applications, where safety is the key property of interest for both systems. In both cases, we use the Goal Structuring Notation to represent the respective assurance cases and provide proof of concept results that demonstrate the DS4AC framework can automate portions of the evaluation of assurance cases, thereby reducing the burden of manual certification process.
dc.format.extent10 pages
dc.identifier.doi10.24251/HICSS.2020.778
dc.identifier.isbn978-0-9981331-3-3
dc.identifier.urihttp://hdl.handle.net/10125/64520
dc.language.isoeng
dc.relation.ispartofProceedings of the 53rd Hawaii International Conference on System Sciences
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectCybersecurity and Software Assurance
dc.subjectdempster-shafer theory
dc.subjectsoftware certification
dc.subjectsoftware traceability
dc.subjectvector space model (vsm)
dc.titleMeasuring Confidence of Assurance Cases in Safety-Critical Domains
dc.typeConference Paper
dc.type.dcmiText

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0628.pdf
Size:
1.33 MB
Format:
Adobe Portable Document Format
Download

Collections

Cybersecurity and Software Assurance