Details

Autor(en) / Beteiligte

• Armstrong, James M.
• Paynter, Stephen E.
• Liggesmeyer, Peter
• Wittmann, Stefan
• Heisel, Maritta

Titel

The Deconstruction of Safety Arguments Through Adversarial Counter-Argument

Ist Teil von

• Computer Safety, Reliability, and Security, 2004, p.3-16

Ort / Verlag

Berlin, Heidelberg: Springer Berlin Heidelberg

Erscheinungsjahr

2004

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• 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).