Browse by author
Lookup NU author(s): Dr James Armstrong, Dr Stephen Paynter
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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. 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).
Author(s): Armstrong JM, Paynter SE
Editor(s): Heisel, M., Liggesmeyer, P., Wittmann, S.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Computer Safety, Reliability, and Security: 23rd International Conference (SAFECOMP)
Year of Conference: 2004
Pages: 3-16
ISSN: 0302-9743 (print) 1611-3349 (online)
Publisher: Springer
URL: http://dx.doi.org/10.1007/978-3-540-30138-7_2
DOI: 10.1007/978-3-540-30138-7_2
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540231769
