Volvo Cars announced their 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.
Prev: Quviq tracks down notorious race conditions in Erlang's built-in database
Next: John Hughes speaks at Software Passion event