Explore computer safety in embedded systems through this lecture from Dalhousie University's ECED4406 course. Delve into real-world case studies like the Therac-25 radiation therapy machine, Toyota's unintended acceleration issue, and the Boeing 737 Max 8 problems. Examine code issues, throttle position mechanisms, and task failures in embedded systems. Learn about risk assessment, functional safety standards like IEC 61508, and industry-specific guidelines. Discuss the importance of aggressive testing, fuzzing, and an engineer's duty in designing safe computer systems. Gain insights from expert presentations and understand the complexities of ensuring safety in modern computerized systems.
Overview
Syllabus
Intro
Therac-25 Quick History
Therac-25 User Interface
Examples of Code Issues
How does a Throttle Position Work
Example of Two Tasks - One Dies?
Failure #2 - Toyota Unintended Acceler
Testing...
Huge number of failures...
737 Max 8
Fixing the "Engines Now Unstable" Prol in software!
Angle of Attack Sensors...
More Failures you can Research
Duty as an Engineer
Designing Safe Computer Systems
Generic Risk Matrix Thingy
IEC 61508 - Functional Safety
Automotive & Other Standards
Example of MIRSA C Code Rule
Problems with These "Standards"
Aggressive Testing & Fuzzing
Taught by
Colin O'Flynn
