Safety arguments, software and system reliability

The aim is to discuss the nature of safety arguments to consider the role of system and software reliability evaluation in these arguments, and to outline an approach to supporting the development of safety arguments. The author reviews some existing work addressing the problems of evaluating system...

Full description

Saved in:
Bibliographic Details
Main Author: McDermid, J.A.
Format: Conference Proceeding
Language:English
Subjects:
Availability
Control systems
Inductors
Potential well
Protection
Software measurement
Software reliability
Software safety
Software systems
System testing
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The aim is to discuss the nature of safety arguments to consider the role of system and software reliability evaluation in these arguments, and to outline an approach to supporting the development of safety arguments. The author reviews some existing work addressing the problems of evaluating systems to high levels of reliability such as 10/sup -9/ failures per hour using 'black box' testing. He also considers ways of achieving confidence beyond testable levels through the use of prior beliefs and discusses some approaches to achieving strong prior beliefs. He uses these possible approaches to illustrate a canonical form for representing (safety) arguments, and to outline the characteristics of a tool which he is constructing for safety argument management.< >
DOI:10.1109/ISSRE.1991.145352