Item Details

Print View

A Taxonomy of Fallacies in System Safety Arguments

Greenwell, William; Holloway, Michael; Knight, John
Format
Report
Author
Greenwell, William
Holloway, Michael
Knight, John
Abstract
A system�s safety argument is intended to show that the system is acceptably safe to operate in a given environment. If that argument is fallacious, the system may be prone to hazardous modes of operation that could contribute to accidents. We conducted a case study of three industrial safety cases to determine the frequency and nature of fallacious reasoning in system safety arguments. Our results suggest that the fre- quency of logical fallacies in these arguments is significant and that they follow common themes. To avoid these fallacies, developers must be aware of them when they create safety arguments, and regulators and investigators must know how to discover them when they review those arguments. We present a taxonomy of logical fallacies tailored to system safety cases to assist developers and regulators in these tasks and then demonstrate the taxonomy by applying it to the three safety cases from our case study.
Language
English
Date Received
2012-10-29
Published
University of Virginia, Department of Computer Science, 2005
Published Date
2005
Rights
All rights reserved (no additional license for public reuse)
Collection
Libra Open Repository

Availability

Access Online