Volvo Cars chooses QuviQ QuickCheck

Volvo Cars chooses QuviQ QuickCheck to certify embedded basic software.

Volvo Cars has a certification strategy for the “operating system” that provides basic services on the microprocessors in cars. Software supplied to Volvo will be certified compliant with the AUTOSAR 4.0 standard by SP, the Swedish standards agency, to ensure that implementations from different suppliers work well together. Certification is based on millions of tests generated by QuickCheck from models developed at Quviq. Even though these models are still under development, 95 issues have already been identified, many reflecting ambiguities in the standard itself.

QuviQ is delighted to contribute to the safety and reliability of future Volvos in this way.