MathWorks classified and prequalified both the automatic test case generation capability of Simulink Design Verifier and the model coverage measurement capability of Simulink Verification and Validation, according to the latest version of ISO 26262-8. Subsequently, TÜV SÜD evaluated the classification and prequalification results. To further assist automotive engineers using early verification and validation for model-based design, MathWorks enhanced its IEC Certification Kit with certification evidence, reference workflows, and artifact templates for ISO 26262 tool qualification for Simulink Design Verifier and Simulink Verification and Validation. With these additions, the IEC Certification Kit expands its ISO 26262 tool qualification support for model-based design and verification products, which already includes the Embedded Coder and Polyspace code verifiers.
To support the additional activities covered by the ISO 26262 functional safety standard, MathWorks continues to work closely with partners offering complementary technology. For example, medini analyze, a functional safety analysis tool offered by ikv++ technologies AG, can be used to automate the determination and decomposition of ASIL (Automotive Safety Integrity Level), as well as detailed safety analysis activities as required by ISO 26262 when developing high-integrity systems using Simulink.
