A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Theory
safety cases
confidence arguments
assurance deficits
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
Abstract

Safety arguments typically have some weaknesses. To show that the overall confidence in the safety argument is considered acceptable, it is necessary to identify the weaknesses associated with the aspects of a safety argument and supporting evidence, and manage them. Confidence arguments are built to show the existence of sufficient confidence in the developed safety arguments. In this paper, we propose an approach to systematically constructing confidence arguments and identifying the weaknesses of the software safety arguments. The proposed approach is described and illustrated with a running example.

Advisor
Date of presentation
2012-06-15
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T07:38:23.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
31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012.
Recommended citation
Collection