Safety-critical systems development and the creation of ethically-informed safety cases

10^th April 2018, 13:00 Ashton Lecture Theater
Dr. Catherine Menon
School of Computer Science
University of Hertfordshire

Abstract

This talk will look at some of the issues involved in developing safety-critical systems, and in constructing arguments to support their safety properties. I’ll examine the difference between random hardware failures and systematic software failures and discuss how different development techniques provide us with differing levels of confidence in our safety claims. I’ll also provide an introduction to constructing a safety argument, and present some of my recent research on how to resolve tension between competing safety, ethics and security needs.