421: Paint the Iceberg Yellow

Embedded.fm · 21 Jul 2022 · 1h 16m · Episode 421

What this episode covers

Chris Hobbs, who works in kernel development at BlackBerry QNX and authored 'Embedded Software Development for Safety-Critical Systems,' explains the distinction between safety-critical and standard embedded systems, emphasizing safety culture and the concept of SOTIF (Safety of the Intended Functionality). He details how modern systems, such as autonomous vehicles and medical devices, face risks from 'accidental systems' where interactions between components create unforeseen hazards, citing examples like a radar system dependent on jammed GPS. Hobbs advocates for goal-based standards like UL 4600 and the use of Safety Cases with Goal Structuring Notation to demonstrate safety rather than relying on prescriptive checklists. He also discusses the challenges of verifying machine learning algorithms, the limitations of languages like C and Rust in safety contexts, and the importance of structured risk analysis using tools like Bayesian fault trees and LaTeX for traceability.

Mentioned

Companies
BlackBerry QNX
Tools
Socrates
Also
Embedded Software Development for Safety-Critical Systems, UL 4600, IEC 61508, ISO 26262, MISRA C, Rust, Ada, SPARK Ada

Other shows on the same ground, closest first.

  • The Pragmatic Embedded Podcast · 43m

    Systems Architecture with Maik Pfingsten

    Maik Pfingsten, an independent systems engineering professional, explains how to apply model-based systems engineering (MBSE) using SysML to complex embedded systems in safety-critical industries like automotive and medical devices. He argues that defining system boundaries and high-level interfaces early prevents the 'big design up front' pitfalls while allowing for necessary iteration between architecture and prototyping. Pfingsten emphasizes that software behaves differently than hardware or mechanics, requiring specific architectural rigor to manage complexity and ensure safety without relying on impossible zero-failure strategies.

  • EE Times Current · 18m

    Phil Koopman on Autonomy | Life after Nokia, Graphcore CEO

    Phil Koopman, CTO of Edge Case Research and CMU professor, explains the challenges of developing autonomy standards like UL 4600 and ISO 21448, emphasizing the need to manage 'unknown unknowns' and validate machine learning-based systems without freezing innovation. The episode also features reports on Samsung's 5nm foundry process race against TSMC, Graphcore's IPU architecture for AI acceleration, and the regeneration of Oulu, Finland, into 'Radio Valley' following Nokia's decline.

  • The Pragmatic Embedded Podcast · 37m

    Why Testing Sucks

    Jeff Gable and Luca discuss why testing feels difficult, arguing that the problem is often trying to test low-risk hardware features rather than high-risk software logic. They emphasize using risk matrices (probability vs. severity) to prioritize testing, advocating for hardware abstraction layers and re-architecting systems to avoid unpredictable interrupt interactions in safety-critical applications. The hosts also address how to approach testing legacy code, suggesting characterization tests and refactoring based on gut feeling about where bugs might lurk.

  • EE Times Current · 39m

    Arm’s bold new path | Teenage autonomous drivers | Dealing with the data deluge

    Kevin Krewell of TIRIAS Research reports on Arm Techcon, highlighting Arm's decision to open its instruction set architecture (ISA) to customer-defined custom instructions, a strategic shift driven by CEO Sophie Richardson and SoftBank's influence to compete with RISC-V. Phil Koopman of Carnegie Mellon University discusses the challenges of certifying autonomous vehicles, arguing that current road tests are insufficient for AI systems lacking common sense, and explains how the UL 4600 standard requires manufacturers to prove they have mitigated risks through rigorous engineering evidence rather than just passing a driving test. John Petty of John Petty Research joins to discuss the 'data deluge,' explaining how data visualization and AI tools are essential for making sense of massive datasets from IoT, simulations, and financial transactions.

  • EE Times Current · 41m

    Voice-Activated Everything on the Cheap | Jets & Hoverboards & Reliability | AVs: How Safe is Safe?

    EE Times editors Brian Santo, Junko Yoshida, and George Leopold discuss the tension between reliability and time-to-market, using the Boeing 737 Max crashes and the hoverboard safety crisis as case studies. They analyze the shift in autonomous vehicle safety from driver-assist systems to full autonomy, featuring insights from Phil Koopman of Edgecase Research on the engineering challenges of prediction and required reliability levels. The episode also covers the emergence of edge-based voice processing technologies from companies like Pico Voice and Pietro Electric as alternatives to cloud-based solutions.

The summary, chapters and topics are generated from the episode’s audio by this directory, not written by Embedded.fm. The episode itself belongs to its publisher.