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.
Christian Bard (2022). USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD (https://www.mathworks.com/matlabcentral/fileexchange/27525-using-polyspace-to-implement-the-software-quality-objectives-for-source-code-quality-standard), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Platform CompatibilityWindows macOS Linux
- Code Generation > IEC Certification Kit (for ISO 26262 and IEC 61508) >
- Automotive > IEC Certification Kit (for ISO 26262 and IEC 61508) >
- Code Verification > Polyspace Bug Finder >
- Verification, Validation, and Test > Polyspace Bug Finder >
- Code Verification > Polyspace Code Prover >
- Verification, Validation, and Test > Polyspace Code Prover >
- Robotics and Autonomous Systems > Automated Driving Toolbox >
- Automotive > Automated Driving Toolbox >
- Verification, Validation, and Test > Simulink Check > Check Model Compliance >
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!