Le TÜV SÜD vient de certifier Simulink Design Verifier et Simulink Verification and Validation comme outils utilisables dans les processus de développement compatibles ISO 26262.
Conformément à la dernière version de la norme ISO 26262-8, MathWorks a établi un classement et une préqualification de la génération automatique de jeux de tests de Simulink Design Verifier, ainsi que de la mesure de couverture de Simulink Verification and Validation. Le TÜV SÜD a ensuite évalué les résultats de ce classement et de cette préqualification.