Software safety assurance - what is sufficient?

It is possible to construct a safety argument for the software aspects of a system in order to demonstrate that the software is acceptably safe to operate. In order to be compelling, it is necessary to justify that the arguments and evidence presented for the software provide sufficient safety assur...

Full description

Saved in:
Bibliographic Details
Published in4th IET International Conference on System Safety 2009. Incorporating the SaRS Annual Conference p. 2A3
Main Authors Hawkins, R.D, Kelly, T.P
Format Conference Proceeding
LanguageEnglish
Published Stevenage IET 2009
Subjects
Software engineering techniques
sufficient safety assurance
safety argument
software safety
safety-critical software
Online AccessGet full text

Cover

More Information
Summary:It is possible to construct a safety argument for the software aspects of a system in order to demonstrate that the software is acceptably safe to operate. In order to be compelling, it is necessary to justify that the arguments and evidence presented for the software provide sufficient safety assurance. In this paper we consider how assurance may be explicitly considered when developing a software safety argument. We propose a framework for making and justifying decisions about the arguments and evidence required to assure the safety of the software. (6 pages)
ISBN:1849191956
9781849191951
DOI:10.1049/cp.2009.1542