MathWorks - Renault SA - PSA Peugeot Citroën - Delphi Diesel System - Valeo group – Continental – Elektrobit wrote together a code quality standard from scratch.
The SQO document they wrote places the proof of absence of run-time errors at the center of its software quality model.
It details how the following elements of the quality model co-exist together with the supplier code life cycle: MISRA-C coding standard,
the absence of run-time errors and some code complexity metrics.
Learn more about Polyspace static code analysis here: http://www.mathworks.com/discovery/static-code-analysis.html
Marvellous way to have a sound process for software quality improvement!
Update links to documentation and minor changes associated with Polyspace Code Prover R2014b
Implement SQ0 V3.0 using Polyspace R2012b
Implement Polyspace R2012a for SQO-V2 and SQO-V3
New version Polyspace SQO V3
Version 3 Applicable to SQO 2.0 and Polyspace release R2011b
Use of Polyspace® R2010b to comply to SQO v2.0
This is an update to remove some pages setting errors.