MathWorks ha classificato e prequalificato sia la funzionalità di generazione automatica di casi di test di Simulink Design Verifier, sia la funzionalità di misurazione della copertura del modello di Simulink Verification and Validation, secondo l'ultima versione della norma ISO 26262-8. Successivamente, TÜV SÜD ha valutato i risultati della classificazione e della prequalificazione. Per supportare ulteriormente gli ingegneri del settore automobilistico che utilizzano la verifica e la validazione anticipata per la progettazione basata su modelli, MathWorks ha arricchito il suo Kit di Certificazione IEC con documentazione di certificazione, flussi di lavoro di riferimento e modelli di artefatti per la qualificazione degli strumenti ISO 26262 per Simulink Design Verifier e Simulink Verification and Validation. Con queste aggiunte, il Kit di Certificazione IEC amplia il supporto per la qualificazione degli strumenti ISO 26262 per i prodotti di progettazione e verifica basati su modelli, che già include i verificatori di codice Embedded Coder e Polyspace.
Per supportare le attività aggiuntive previste dallo standard ISO 26262 sulla sicurezza funzionale, MathWorks continua a collaborare strettamente con partner che offrono tecnologie complementari. Ad esempio, medini analyze, uno strumento di analisi della sicurezza funzionale offerto da ikv++ technologies AG, può essere utilizzato per automatizzare la determinazione e la scomposizione dell'ASIL (Automotive Safety Integrity Level), nonché le attività di analisi dettagliata della sicurezza richieste dalla norma ISO 26262 durante lo sviluppo di sistemi ad alta integrità con Simulink.
