The automotive safety standard ISO 26262 needs to evaluate safety goal violations for measuring safety metrics. When safety goal violations are evaluated, it helps to identify random hardware faults. With formal verification, the faults can be easily categorised by structural analysis. Faults are examined to verify safety goal violations and fault detections. This article outlines how to conduct an effective fault campaign using formal verification.
Learn more about how T&VS Automotive Verification and Test solutions help to address the challenges of delivering safe, secure and compliant automotive products.