Safety-critical Systems, or How We Stopped Killing People

Lucy Wayland

A brief history of how saftey-critical system standards evolved, and an explanation of how we have recently had an explosion in the different standards. Brief touch on formal methods and testing. A couple of case studies will be included, including some of the disasters.