Using Formal to Verify
Safety-Critical Hardware for ISO 26262

White paper on verifying automotive hardware components for ISO 26262


Automotive technology has come a long way since the days of the Ford Model T. Today's smart vehicles not only assist their drivers with tasks such as parking, lane management, and braking, but also function as a home away from home, with WiFi hotspots and sophisticated entertainment systems. These state-of-the-art features are made possible by increasingly complex electronic systems—systems that present countless new opportunities for things to go wrong. A defective headrest video screen may be an irritation to a young passenger in the back seat, but a malfunctioning corrective steering system could cost the occupants of the vehicle their lives. Adequate verification is essential.

OneSpin's formal verification solutions can help automotive suppliers continue to advance their technology while keeping drivers and passengers safe. Our safety-critical white paper examines the ISO 26262 automotive standard and makes a case for its indispensability.

Presentation of safety-critical verification solutions


Our marketing communications manager, McKenzie Ross, recently got behind the wheel of a Tesla Model X to discuss using formal to verify safety-critical designs that must be ISO 26262-compliant.

Fill in your details below to watch a presentation about safety-critical verification solutions for automotive hardware and the ISO 26262 standard. Our video provides an overview of the benefits of adding formal to your verification flow, while the companion white paper offers greater depth.

Get the video and white paper (PDF) instantly

Download both to learn how formal—and OneSpin—can help keep your end users safe.