Assessing the Overall Sufficiency of Safety Arguments

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Theory
safety cases
safety argument assessment
Dempster-Shafer Theory
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
Abstract

Safety cases offer a means for communicating information about the system safety among the system stakeholders. Recently, the requirement for a safety case has been considered by regulators for safety-critical systems. Adopting safety cases is necessarily dependent on the value added for regulatory authorities. In this work, we outline a structured approach for assessing the level of sufficiency of safety arguments. We use the notion of basic probability assignment to provide a measure of sufficiency and insufficiency for each argument node. We use the concept of belief combination to calculate the overall sufficiency and insufficiency of a safety argument based on the sufficiency and insufficiency of its nodes. The application of the proposed approach is illustrated by examples.

Advisor
Date of presentation
2013-02-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T07:38:37.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
21st Safety-critical Systems Symposium (SSS'13), Bristol, United Kingdom. http://scsc.org.uk/p119
Recommended citation
Collection