Safety case composition using contracts - Refinements based on feedback from an industrial case study

The Safety of Systems - Proceedings of the 15th Safety-Critical Systems Symposium, SSS 2007

Volumn , Issue , 2007, Pages 133-146

  Fenn, Jane ^a   Hawkins, Richard ^a   Kelly, Tim ^c   Williams, Phil ^b  

^a BAE SYSTEMS   (United Kingdom)

^b General Dynamics UK Limited   (United Kingdom)

^c UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY SYSTEMS;

GOAL STRUCTURING NOTATION; INDUSTRIAL CASE STUDY; INTERRELATED COMPONENTS; SAFETY CASE; UK MINISTRY OF DEFENCE; WORKING GROUPS;

ACCIDENT PREVENTION;

EID: 84883108515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-84628-806-7_9     Document Type: Conference Paper

References (2)

1. Kelly, TP (2001). Concepts and Principles of Compositional Safety Cases -(COMSA/2001/1/1) - Research Report commissioned by QinetiQ
2. Hofmeister, C, Nord, R., Soni, D (1999). Applied Software Architecture, Addison-Wesley