Deconstruction of Safety Arguments through Adversarial Counter-Argument

摘要

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