A systematic approach to justifying sufficient confidence in software safety arguments

Authors:
Anaheed Ayoub;BaekGyu Kim;Insup Lee;Oleg Sokolsky
Affiliations:
Computer and Information Science Department, University of Pennsylvania;Computer and Information Science Department, University of Pennsylvania;Computer and Information Science Department, University of Pennsylvania;Computer and Information Science Department, University of Pennsylvania
Venue:
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Year:
2012

Citing 5
Cited 0

Confidence: Its Role in Dependability Cases for Risk Assessment

DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Expert Assessment of Arguments: A Method and Its Experimental Evaluation

SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Safety-assured development of the GPCA infusion pump software

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Towards Measurement of Confidence in Safety Cases

ESEM '11 Proceedings of the 2011 International Symposium on Empirical Software Engineering and Measurement
A safety case pattern for model-based development approach

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.