Argument-based approach to computer system safety engineering

@article{Yuan2012ArgumentbasedAT,
  title={Argument-based approach to computer system safety engineering},
  author={Tangming Yuan and Tim Kelly},
  journal={IJCCBS},
  year={2012},
  volume={3},
  pages={151-167}
}
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

References

Publications referenced by this paper.
SHOWING 1-10 OF 30 REFERENCES

Arguing safety – a systematic approach to safety case management

T. P. Kelly
  • DPhil Thesis,
  • 1999
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Commitment in dialogue

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Software Engineering, Pearson Education, Harlow

I. Sommerville
  • 2007
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Computer-assisted argument review, a dialectics approach

F. Wan
  • 2010
VIEW 1 EXCERPT

Argument visualization tools for corroborative evidence

D. Walton
  • Proc. of the 2nd International Conference on Evidence Law and Forensic Science,
  • 2009
VIEW 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…