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.

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

Testing for conformance has a challenges. We published several research papers about our approach and its relation to safety.