System Safety, Safety Cases and Patterns
John McDermid, Tim Kelly, Mark Nicholson and David Pumfrey, University of York.
The talk will first provide a general overview of the research areas
that the HISE group is currently involved in (set in the general safety
critical systems development context). This will be be followed by an
expanded presentation on one of these areas - namely safety cases. The
general problems of safety case development will be highlighted together
with a description of 'Safety Case Patterns' - generic forms of argument
that people typically use when arguing system safety. Having described
some example argument 'patterns', the discussion point we'd like to end
on concerns whether it is possible to describe (in abstract) the forms
of argument that need to be constructed for systems involving a
significant human element.
For more information contact: Tim.Kelly@cs.york.ac.uk