Departmental Papers (CIS)

Date of this Version

6-15-2012

Document Type

Conference Paper

Comments

31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012.

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.

Subject Area

CPS Theory

Publication Source

Lecture Notes in Computer Science: Computer Safety, Reliability, and Security

Volume

7612

Start Page

305

Last Page

316

DOI

10.1007/978-3-642-33678-2_26

Copyright/Permission Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-33678-2_26

Keywords

safety cases, confidence arguments, assurance deficits

Share

COinS
 

Date Posted: 03 January 2013

This document has been peer reviewed.