When Human Life Depends on Software - Introduction to Safety-Critical Systems
summary
Compares everyday app work with tightly regulated development for aviation, automotive, medical, space and industrial control by naming the standards, the concrete development practices and the failures they prevent. Describes DO-178C, ISO 26262, IEC 61508 and shows which tools and measures matter: model‑based design, formal specs, static analysis and deterministic RTOS use, code coverage and traceability. Analyses several real incidents that produce loss of life or multi‑million dollar equipment failures and explains what was built, what failed and why.
AI-written summary · about
chapters (5)
- 0:00Introduction to safety-critical systems
- 10:05Real-world software failure examples
- 20:05Industry standards and regulations
- 30:06Designing for reliability and safety
- 40:30Future challenges in critical software
related talks
49mWhen Software Determines Human Life — On Safety-Critical Systems
58mSafety-critical systems from the inside
46mA Systems Approach to Safety and Cybersecurity
42mDecoding Safe(ty) Linux Architectural Approaches for Critical Systems
54mArchitecture & Responsible Technology
19mQualification of the C and C++ Standard Libraries for Safety-critical Applications
32mSoftware Craftsmanship
01h 31mOn the Future of Flight Software