Formal Verification Becoming Critical To Auto Security, Safety
By: Ann Steffora Mutschler
Formal verification is poised to take on an increasingly significant role in automotive security, building upon its already widespread use in safety-critical applications.
Sergio Marchese, technical marketing manager at OneSpin, said there are two aspects to consider with formal — the level of confidence that is required and the cost of verification. “When it comes to verification sign-off, simulation and emulation cannot match the quality delivered by formal,” he said. “Automotive chip providers routinely apply formal to key IPs and subsystems to prove the absence of bugs in critical chip functions. As they develop many product derivatives, they can also automate the flow and achieve this quality level while saving effort.”
[..]
“The real challenge is to bring this to the next level and support efficient incident response processes and compliance with the upcoming ISO/SAE 21434 standard,” said OneSpin’s Marchese. He noted it is particularly useful for spotting unforseen misuse case scenarios.