Investigating the use of argument modularity to optimise through-life system safety assurance

IET Conference Publications

Volumn , Issue 542 CP, 2008, Pages

  Despotou, G ^a   Kelly, T ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Argument contracts; Modular GSN; Safety case maintenance; System assurance

Indexed keywords

MAINTENANCE;

DEVELOPMENT APPROACH; MITIGATION STRATEGY; MODULAR GSN; SAFETY CASE; SAFETY CRITICAL SYSTEMS; SAFETY STANDARD; SYSTEM ASSURANCE; SYSTEM SAFETY;

SAFETY ENGINEERING;

EID: 85088686383     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/cp:20080746     Document Type: Conference Paper

References (9)

1. G. Despotou. Managing the Evolution of Dependability Cases for Systems of Systems", PhD thesis. YCST-2007-2016 Department of computer Science, University of York.
2. T. Kelly, J. McDermid. "Software in Safety Critical Systems: Achievement and Prediction", Nuclear Future, published by Thomas Telford Journals, June 2006.
3. T. Kelly. "Concepts and Principles of Compositional Safety Cases", COMSA/2001/1/1 - Research Report commissioned by QinetiQ.
4. T. Kelly. "Arguing Safety: A Systematic Approach to Safety Case Management". PhD thesis. YCST 99/05 Department of computer Science, University of York.
5. UK MoD, Defence Standard, 00-55. Requirements of Safety, issue 1. Related Software in Defence Systems, 1997.
6. UK MoD, Defence Standard, 00-56. Safety Management Requirements for Defence Systems", issue 4. Part A, Requirements.
7. UK MoD, Defence Standard, 00-74. "ASAAC Standards", part 1, Part No: 1: Proposed Standards for Software.
8. R. Weaver. "The Safety of Software - Constructing and Assuring Argument". PhD Thesis. YCST-2004-2011, Department of Computer Science, University of York.
9. F. Ye. "Justifying the use of COTS Components within Safety Critical Applications" YCST-2006-2101 Department of computer Science, University of York.