Argument-based approach to computer system safety engineering

  title={Argument-based approach to computer system safety engineering},
  author={Tangming Yuan and Tim Kelly},
Safety case development is not a post-development activity, rather it should occur throughout the system development lifecycle. The key components in a safety case are safety arguments. Too often, safety arguments are constructed without proper reasoning. Inappropriate reasoning in safety arguments could undermine a system’s safety claims, which in turn contributes to safety-related failures of the system. To address this, we argue that informal logic argument schemes have important roles to… CONTINUE READING


Publications referenced by this paper.

Arguing safety – a systematic approach to safety case management

  • T. P. Kelly
  • DPhil Thesis,
  • 1999
Highly Influential
6 Excerpts

Software Engineering, Pearson Education, Harlow

  • I. Sommerville
  • 2007
Highly Influential
3 Excerpts

Computer-assisted argument review, a dialectics approach

  • F. Wan
  • 2010
1 Excerpt

Argument visualization tools for corroborative evidence

  • D. Walton
  • Proc. of the 2nd International Conference on…
  • 2009
2 Excerpts

The Nimrod Review – An Independent Review into the Broader Issues Surrounding the Loss of the RAF Nimrod MR2 Aircraft XV230 in Afghanistan in 2006, Printed in the UK by the Stationery Office Limited

  • QC C. Haddon-CAVE
  • 2009

Similar Papers

Loading similar papers…