How Formal Reduces Fault Analysis for ISO 26262
This paper discusses how to use formal verification for static and transient fault analysis to generate ISO 26262 safety metrics, first describing fault pruning and then the more sophisticated fault injection using SLEC.
Doug
Full-access members only
Register your account to view How Formal Reduces Fault Analysis for ISO 26262
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.