InfoCoBuild

Living in a Cyber-Enabled World

Safety-Critical Systems. Software is an essential part of many safety-critical systems. Modern cars and aircraft contain dozens of processors and millions of lines of computer software. This lecture looks at the standards and guidance that are used when regulators certify these systems for use. Do these standards measure up to the recommendations of a report on Certifiably Dependable Software from the US National Academies? Are they based on sound computer science?

An independent consultant systems engineer and non-executive director, Professor Martyn Thomas is an internationally recognised expert in safety-critical or security-critical, software intensive systems, software engineering, and cybersecurity. (from gresham.ac.uk)

08. Safety-Critical Systems


Go to the Course Home or watch other lectures:

01. Should We Trust Computers?
02. A Very Brief History of Computing, 1948-2015
03. How Can Software Be So Hard?
04. Computers, People and the Real World
05. Cybersecurity
06. Big Data: The Broken Promise of Anonymisation
07. Are You the Customer or the Product?
08. Safety-Critical Systems
09. The Dilemmas of Privacy and Surveillance
10. What Really Happened in Y2K?
11. Making Software 'Correct by Construction'
12. Artificial Intelligence