Towards a comprehensive consideration of epistemic questions in software system safety

Holloway, C.M. and Johnson, C.W. (2009) Towards a comprehensive consideration of epistemic questions in software system safety. In: Casely, P. and Johnson, C.W. (eds.) 4th IET International Conference on Systems Safety 2009. Incorporating the SaRS Annual Conference. IET Conference Publications, 3A1. ISBN 9781849191951 (doi:10.1049/cp.2009.1546)

Full text not currently available from Enlighten.

Publisher's URL: http://dx.doi.org/10.1049/cp.2009.1546

Abstract

For any software system upon which lives depend, the most important question one can ask about it is, ‘How do we know the system is safe?’ Despite the critical importance of this question, no widely accepted, generally applicable answer exists. Instead, debate continues to rage over the question, with theorists and practitioners quarrelling with each other and amongst themselves. This paper suggests a possible way forward towards quelling the quarrels, based on refining the critical safety question into additional questions, which may be more likely to have answers on which a consensus can be reached.

Item Type:Book Sections
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Johnson, Professor Chris
Authors: Holloway, C.M., and Johnson, C.W.
Subjects:H Social Sciences > HV Social pathology. Social and public welfare
Q Science > QA Mathematics > QA76 Computer software
College/School:College of Science and Engineering > School of Computing Science
Publisher:IET Conference Publications
ISBN:9781849191951

University Staff: Request a correction | Enlighten Editors: Update this record