Formal fault analysis for ISO 26262 fault metrics on real world designs

Safety critical development processes, governed by standards such as ISO26262, include the use of fault correction components that protect the device against Random faults that occur naturally during operation. A methodology has evolved that makes use of fault simulation and formal techniques to establish the diagnostic coverage of safe faults, and detect dangerous faults. A significant remaining challenge is the debug of these dangerous faults. While fault simulation can establish fault propagation, Formal can produce a clear detection of dangerous faults, enable their debug, and indicate how a design may be protected against their occurrence.

Jörg Große, Product Manager Safety Critical Solution at OneSpin Solutions, discussed these dangerous fault debug techniques using state-of-the-art formal verification appsat the DVClub Europe Conference- “Methodologies for Rigorous Safety Verification” on 28th November 2017.

Find out the Presentation Slides and Videos here