BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260702T084259Z
UID:Seminar-dept-460@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20180410T130000
DTEND:20180410T140000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Catherine Menon: Safety-critical systems development and the creation of ethically-informed safety cases\n\nThis 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.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=460
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR