How can I verify the C++ code I have generated from MATLAB Coder against standards?

How can I verify MATLAB Coder generated C++ code against standards such as IEC 62304?

Answer 1

[MathWorks Support Team]

MATLAB Coder does not verify or validate the code against any standards when it is generated, to achieve this you need to run PolySpace on the generated C++ code from MATLAB Coder. The documentation page linked below provides more information on this:

https://www.mathworks.com/help/codeprover/ug/verify-cc-code-generated-from-matlab-code.html

In addition, the following documentation page describes the IEC Certification Kit which allows you to verify the certification against a set of standards, the IEC 62304 standard is explicitly mentioned on this page:

https://www.mathworks.com/products/iec-61508.html

[Ryan Livingston]

Also consider if any of the settings in:

https://www.mathworks.com/help//ecoder/ug/generate-cc-code-with-improved-misra-compliance.html

may help compliance with your standard of choice.