Embedded System Safety Overview (Preview)

Here's a summary overview video on Embedded System Safety.  (See additional pointers below.)

https://youtu.be/Ul0tN_EUnqY

Other pointers on this topic (my blog posts unless otherwise noted):

• Safety culture
• Toyota Unintended Acceleration case study
• Layered defenses for safety critical systems
• Therac 25 summary

On-line resources:

• UK MOD, An Introduction to System Safety Management in the MOD, January 2011.

• RISKS Digest (archive of discussions on computing risks)
• Safety critical mailing list (international safety experts discuss almost everything; includes on-line archives)

John Knight's book: Fundamentals of Dependable Computing for Software Engineers (2012) is an excellent current book on software dependability and safety.

Nancy Leveson has some great publications in the area of software safety, and is credited for developing this as an academic field. Anyone doing software safety should read at least these:

• Software Safety: why, what, and how (a shorter, earlier version of the material in the Safeware book); pay to download from ACM, or sometimes you can find a free copy on-line if you don't have a subscription (1986)
• The Therac-25 Accidents (1993)
• High-Pressure Steam Engines and Computer Software (1992)
• Safeware (book on amazon; 1995) 
• Engineering a safer world (free on-line book) (2011)

For more about Edge Case Research and how to subscribe to our video training channel, please see this Blog posting.