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.
Gli strumenti di verifica MATLAB, Simulink, Stateflow, Embedded Coder, MATLAB e Simulink e gli strumenti di verifica del codice Polyspace® sono certificati da TÜV SÜD come strumenti qualificati secondo ISO 26262 per ASIL A-D. Tali qualificazioni si basano su un flusso di lavoro 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 flusso di lavoro, 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). 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.
“Senza la progettazione model-based, avremmo avuto bisogno almeno del 30% in più di tempo per sviluppare e certificare il software di applicazione ESCL. Abbiamo risparmiato tempo e sforzi generando codice efficiente che ha soddisfatto tutti i nostri requisiti di velocità e memoria”.
Cheng Hui, platform and process manager, KOSTAL
Utilizzare MATLAB per ISO 26262
Prodotti chiave per lo sviluppo di applicazioni ISO 26262:
Ulteriori informazioni sul supporto MathWorks per ISO 26262:
- Comunicato stampa: IEC Certification Kit di MathWorks conforme con ISO 26262, seconda edizione
- Articolo tecnico: LG Chem - Sviluppo di software conformi ad AUTOSAR per un sistema di gestione delle batterie per veicoli ibridi con la progettazione model-based
- Caso utente: KOSTAL riceve la certificazione ISO 26262 ASIL D grazie alla progettazione model-based
- Webinar: TI Hercules MCU Optimized Code from Simulink for IEC 61508 and ISO 26262 (45:06)
- Webinar: Rispetto della norma ISO 26262 con strumenti di sviluppo pre-qualificati in un workflow robusto ed efficiente (42:27)
- Servizio di consulenza: Implementazione di processi ISO 26262
- Articolo: Come usare Simulink per i progetti ISO 26262
- Video: Controllo in fase di modifica per rilevare precocemente eventuali problemi di conformità (1:28)
- Video: Workflow ASIC e FPGA per ISO 26262 e IEC 61508 (3:06)
- White paper: 5 insidie processuali da evitare nella conformità a ISO 26262
- Documento SAE: Progettazione model-based per applicazioni di sicurezza
- Documento SAE: Un flusso di lavoro di convalida e verifica per applicazioni IEC 61508
- Documento MBEES: Qualificazione di strumenti software secondo ISO 26262
- Documento ERTS: Verifica e convalida secondo ISO 26262
- Guida: Le 10 best practice per implementare AUTOSAR utilizzando Simulink
- Risorse: Automatizzare la verifica e la convalida con Simulink
- Webinar: MCU TI C2000 e Simulink MathWorks per IEC 61508 e ISO 26262
- Articolo: Un flusso di lavoro ISO 26262 per le applicazioni di guida autonoma che utilizzano MATLAB: linee guida e best practice