Safety-critical and securtiy-critical computing in britain: an exploration

This paper explores the development and assessment, in the UK, of computer systems which are critical to human safety (focusing promarily on railways, civil aviation, offshore oil and defence), and also of those critical to national security are identified, ranging from ad hoc and unsystematic pratices, through good software engineering to the use of formal, mathematical methods. We discuss whether the resultant systems are safe and secure, and highlight two key problems: how to demonstrate safety and security, in advance of use; and how to ensure safe human computer interaction.