Simulink Verification Tools Qualified to ISO 26262

MathWorks extends IEC Certification Kit with Simulink Verification and Validation and Simulink Design Verifier Qualification

Natick, Mass. - (12 Apr 2011)

MathWorks today announced that TÜV SÜD certified Simulink Design Verifier and Simulink Verification and Validation for use in ISO 26262 compliant development processes. This independent assessment helps automotive engineers developing high-integrity embedded systems to establish the required confidence in the proper functioning of these verification tools according to their use cases.

MathWorks classified and prequalified 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. TÜV SÜD subsequently assessed the tool classifications and prequalification results. To further assist automotive engineers using early verification and validation for Model-Based Design,

MathWorks enhanced the IEC Certification Kit product with certification evidence, reference workflows, and ISO 26262 tool qualification artifact templates for Simulink Design Verifier and Simulink Verification and Validation. With these recent additions, the IEC Certification Kit extends ISO 26262 tool qualification support for Model-Based Design and verification products, which already includes Embedded Coder and Polyspace code verifiers.

To support additional activities addressed by the ISO 26262 functional safety standard, MathWorks continues to work closely with partners offering complementary technology. As an example, medini analyze, a functional safety analysis tool offered by ikv++ technologies AG, can be used to automate automotive safety integrity level (ASIL) determination and decomposition as well as detailed safety analysis activities as required by ISO 26262 when developing high-integrity systems using Simulink.

About MathWorks

MathWorks is the leading developer of mathematical computing software. MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design for multidomain dynamic and embedded systems. Engineers and scientists worldwide rely on these product families to accelerate the pace of discovery, innovation, and development in automotive, aerospace, electronics, financial services, biotech-pharmaceutical, and other industries. MathWorks products are also fundamental teaching and research tools in the world's universities and learning institutions. Founded in 1984, MathWorks employs more than 2400 people in 15 countries, with headquarters in Natick, Massachusetts, USA. For additional information, visit

MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.