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