Title | ||
---|---|---|
A systematic approach to justifying sufficient confidence in software safety arguments |
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-33678-2_26 | SAFECOMP |
Keywords | Field | DocType |
systematic approach,confidence argument,safety argument,sufficient confidence,overall confidence,software safety argument,developed safety argument | Computer science,Software,Reliability engineering | Conference |
Citations | PageRank | References |
10 | 0.81 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anaheed Ayoub | 1 | 104 | 8.15 |
BaekGyu Kim | 2 | 213 | 24.62 |
Insup Lee | 3 | 4996 | 413.64 |
Oleg Sokolsky | 4 | 2193 | 154.94 |