ePrints

The Deconstruction of Safety Arguments Through Adversarial Counter-argument

Lookup NU author(s): Dr James Armstrong

Downloads

• Published version [.pdf]

Abstract

The project Deconstructive Evaluation of Risk In Dependability Arguments and Safety Cases (DERIDASC) has recently experimented with techniques borrowed from literary theory as safety case analysis techniques (Armstrong & Paynter 2003, Armstrong 2003). This paper introduces our high-level method for “deconstructing” safety arguments. Our approach is quite general and should be applicable to different types of safety argumentation framework. As one example, we outline how the approach would work in the context of the Goal Structure Notation (GSN).

Publication metadata

Author(s): Armstrong JM, Paynter SP

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 16

Print publication date: 01/03/2004

Source Publication Date: March 2004

Report Number: 832

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/832.pdf

Share