MATLAB e Simulink per la conformità a ISO 26262

Lo sviluppo di sistemi ad alta integrità nel settore automotive è caratterizzato dalla dimostrazione di conformità a ISO^® 26262, uno standard internazionale per la sicurezza funzionale di veicoli stradali. ISO 26262 classifica le funzioni nei livelli di integrità della sicurezza nel settore automotive (ASIL) dalla A alla D, ovvero dai meno rigidi ai più rigidi. I fornitori OEM e Tier-1 stanno adattando i processi di sviluppo ECU per utilizzare la progettazione Model-Based con ISO 26262.

MATLAB, Simulink, Stateflow, Embedded Coder, gli strumenti di verifica del codice MATLAB e Simulink e gli strumenti di verifica del codice Polyspace sono certificati da TÜV SÜD come strumenti qualificati conformemente allo standard ISO 26262 per ASIL A-D. Tali qualificazioni si basano su un workflow di verifica automatico e specifico per l’applicazione. Supporta il modello back-to-back e il test di codice, come altamente consigliato da ISO 26262-6 per ASIL C e D, utilizzando la modalità di simulazione processor-in-the-loop (PIL) in Simulink. In questo modo, gli ingegneri possono sfruttare le ottimizzazioni del coder e del compiler, tra cui il codice generato da Embedded Coder specifico per processore, per produrre software più rapidi ed efficienti a livello di memoria necessari per le ECU di produzione di massa. Oltre alla generazione di codice C, i casi d’uso per la qualificazione degli strumenti in base a ISO 26262 di Embedded Coder includono le sue capacità di generare codice AUTOSAR e C++.

HDL Coder è inoltre certificato da TÜV SÜD come idoneo all’uso nello sviluppo di prodotti legati alla sicurezza per tutti gli ASIL. HDL Coder genera VHDL e Verilog leggibili e tracciabili in grado di eseguire il targeting di qualsiasi dispositivo FPGA, ASIC e SoC. Lavora a stretto contatto con HDL Verifier per generare test bench per l’esecuzione di test back-to-back con simulatori HDL e schede FPGA.

La documentazione del workflow, i certificati e i report TÜV SÜD, le suite di test e gli elementi aggiuntivi per la certificazione vengono forniti nell’IEC Certification Kit (for ISO 26262 and IEC 61508). Il kit fornisce workflow e artefatti che ti aiutano a raggiungere e a dimostrare la conformità a ISO 26262. Inoltre, TÜV SÜD svolge inoltre audit annuali dei processi di sviluppo software e ingegneria della qualità per gli strumenti supportati dall’IEC Certification Kit.

Prodotti chiave per lo sviluppo di applicazioni ISO 26262:

• IEC Certification Kit (per ISO 26262 e IEC 61508)
• MATLAB
• Simulink
• Stateflow
• Embedded Coder
• System Composer
• Simulink Check
• Simulink Coverage
• Requirements Toolbox
• Simulink Report Generator
• Simulink Design Verifier
• MATLAB Test
• Simulink Test
• Polyspace Bug Finder
• Polyspace Code Prover
• Polyspace Test
• AUTOSAR Blockset
• HDL Coder

Ulteriori informazioni sul supporto MathWorks per ISO 26262: