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?
A world-renowned expert in software engineering and cybersecurity, Martyn Thomas CBE is the very first IT Livery Company Professor of Information Technology at Gresham College.