MathWorks clasificó y precualificó, tanto la capacidad de generación automática de casos de pruebas de Simulink Design Verifier como la capacidad de medición de cobertura de modelos de Simulink Verification and Validation, conforme a la versión más reciente de ISO 26262-8. Posteriormente, TÜV SÜD evaluó los resultados de clasificación y precualificación de las herramientas. Con objeto de ayudar aún más a los ingenieros de automoción que utilizan la verificación y validación tempranas para el diseño basado en modelos, MathWorks mejoró su producto IEC Certification Kit con evidencias de certificación, flujos de trabajo de referencia y plantillas de artefactos para cualificación de herramientas ISO 26262 para Simulink Design Verifier y Simulink Verification and Validation. Con estas recientes adiciones, el IEC Certification Kit amplía el soporte de cualificación de herramientas ISO 26262 para el diseño basado en modelos y los productos de verificación, que ya incluye los verificadores de código Embedded Coder y Polyspace.
A fin de ofrecer soporte a las actividades adicionales abarcadas por el estándar de seguridad funcional ISO 26262, MathWorks sigue trabajando codo con codo con socios que ofrecen tecnología complementaria. Por ejemplo, medini analyze, una herramienta de análisis de la seguridad funcional ofrecida por ikv++ technologies AG, puede emplearse para automatizar la determinación y descomposición ASIL (del inglés Automotive Safety Integrity Level, nivel de integridad de la seguridad en automoción), así como actividades de análisis de la seguridad detalladas tal y como exige ISO 26262 cuando se desarrollan sistemas de alta integridad por medio de Simulink.
