Dr Simon Wells S.Wells@napier.ac.uk
Lecturer
Automatically Detecting Fallacies in System Safety Arguments
Wells, Simon; Yuan, Tangming; Manandhar, Suresh; Kelly, Tim
Authors
Tangming Yuan
Suresh Manandhar
Tim Kelly
Abstract
Safety cases play a significant role in the development of safety-critical systems. The key components in a safety case are safety arguments, that are designated to demonstrate that the system is acceptably safe. Inappropriate reasoning with safety arguments could undermine a system’s safety claims which in turn contribute to safety-related failures of the system. Currently, safety argument reviews are conducted manually, require expensive expertise and are often labor intensive. It would therefore be desirable if software can be employed to help with the detection of flaws in the arguments. A prerequisite for this approach is the need for a formal representation of safety arguments. This paper proposes a predicate logic based representation of safety arguments and a method to detect argument fallacies. It is anticipated that the work contributes to the field of the safety case development as well as to the area of computational fallacies.
Presentation Conference Type | Conference Paper (unpublished) |
---|---|
Conference Name | 15th International Workshop on Computational Models of Natural Argument(CMNA15) |
Start Date | Oct 26, 2015 |
End Date | Oct 26, 2015 |
Deposit Date | Jun 15, 2017 |
Publicly Available Date | Jun 16, 2017 |
Keywords | safety-critical systems, computational fallacies, |
Public URL | http://researchrepository.napier.ac.uk/Output/947229 |
Contract Date | Jun 15, 2017 |
Files
Automatically detect fallacies in system safety arguments
(182 Kb)
PDF
You might also like
Towards using segmentation-based techniques to personalize mobility behaviour Interventions
(2014)
Journal Article
Supporting argumentation schemes in argumentative dialogue games.
(2014)
Journal Article
Demo paper: AGADE - Scalability of ontology based agent simulations
(2016)
Presentation / Conference Contribution
Towards using Segmentation-based Techniques to Personalize Mobility Behavior Interventions
(2014)
Presentation / Conference Contribution
Argument Mining: Was Ist Das?
(2014)
Presentation / Conference Contribution
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search