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?
Lecture Date: Tuesday, 10th January 2017 – 6:00pm at The Museum of London, 150 London Wall, London, EC2Y 5HN
No reservations are required for this lecture. It will be run on a ‘first come, first served’ basis.
Doors will open 30 minutes before the start of the lecture.