Summary of the Zenodo paper: ISO 26262 Part 5 step-by-step, FMEDA workflow with five worked examples (MCU, sensor, power, FPGA, dual-channel), safety-mechanism catalogue with referenced DC values, and cross-walks to IEC 61508, DO-254, EN 50129. Aimed at engineers who need to ship a safety case. Read More
Blog
Using Formal Techniques with TLA+ for ISO 26262 Functional Safety Verification
ISO 26262 Part 6 recommends formal methods for ASIL-C/D design verification — but most teams stop at static analysis, which catches coding defects, not design flaws. A worked TLA+ example of dual-channel redundancy that finds two architectural bugs in two model-checker steps. Includes the actual TLA+ specs, V-cycle integration, and tooling notes that did not fit on the LinkedIn version. Read More