You can use the IEC Certification Kit (for ISO 26262 and IEC 61508) and DO Qualification Kit to qualify Simulink Design Verifier for supported industry standards, including DO-178, ISO 26262: 2018, IEC 61508: 2010, IEC 62304: 2015, ISO 25119: 2018, and EN 50128: 2011.
Tool Certification Artifacts (IEC Certification Kit)
The certification artifacts include product-specific templates, test cases, and test procedures.
Simulink Design Verifier Reference Workflow Overview (IEC Certification Kit)
The Simulink Design Verifier reference workflow describes the integration of Simulink Design Verifier into the IEC Certification Kit Model-Based Design workflow.