Questa pagina è stata tradotta automaticamente.
Completa un sondaggio di 1 minuto sulla qualità di questa traduzione.
Sviluppo di testo strutturato conforme a ISO 26262 e SOTIF per veicoli autonomi a bassa velocità
Supportato da IFM Electronic, il progetto aiuta a sviluppare competenze rilevanti del settore per gli studenti
“Abbiamo scelto MATLAB e Simulink per implementare i nostri algoritmi di livello di sicurezza [perché] sono dotati di un toolkit di certificazione ISO 26262 e consentono [controlli] statici sia sul modello che sul codice generato.”
Risultati chiave
- Algoritmi di controllo prototipati rapidamente per veicoli autonomi, che consentono test in ambienti 3D guidati da scenari
- Generazione di testo strutturato certificabile conforme a ISO 26262 e SOTIF utilizzando MATLAB e Simulink
- Sviluppo di materiale didattico per la progettazione di sistemi di controllo embedded a partire dai risultati del progetto, che riflette gli ultimi argomenti di interesse industriale
- Gli strumenti MATLAB e Simulink hanno consentito la creazione di un concetto di sicurezza riutilizzabile e open source supportato da processi e documentazione conformi agli standard del settore
Workflow per il livello di sicurezza AV mediante analisi statica del modello/codice e verifica formale.
La Hogeschool van Arnhem en Nijmegen (HAN) è un’Università olandese di scienze applicate che basa i suoi programmi di studio sulla ricerca condotta con partner industriali. In qualità di partner principale del progetto Safety Concept for Low-speed AV Implementations (SafeCLAI) nei Paesi Bassi, HAN, con il supporto di IFM Electronic, ha progettato un livello di sicurezza ISO® riutilizzabile e conforme a 26262 e SOTIF per veicoli autonomi basati su ROS.
La scelta di utilizzare MATLAB® e Simulink® per implementare il livello di sicurezza, ha dato accesso a HAN all'IEC Certification Kit, abilitando workflow di verifica e validazione conformi agli standard per la generazione di codice certificabile e integrabile. ROS Toolbox ha aiutato il team HAN a superare la sfida del trasferimento di dati da sensori simulati nell'ambiente 3D mediante l'uso di messaggi ROS specializzati. IFM Electronic ha supportato il progetto fornendo la propria competenza in materia di sicurezza funzionale e un controllore di sicurezza che esegue il testo strutturato generato in un'architettura di controllo sicuro.
Di conseguenza, HAN dispone ora di un ambiente di verifica e validazione riutilizzabile e basato su scenari in cui testare in modo sicuro i sistemi dei veicoli autonomi. Si prevede che questo workflow continuerà a crescere e a essere meglio integrato in futuro. Ad esempio, poiché ROS non dispone di workflow che possano essere certificati, HAN sta valutando l'utilizzo di RoadRunner per scenari di guida simulati e lo spostamento dei workflow per l'elaborazione di immagini e segnali su MATLAB e Simulink. Per i progetti futuri, il passaggio dal codice C generato e l’adozione di Polyspace® è anche in fase di valutazione per verificare e dimostrare la conformità MISRA™ del codice integrato e per migliorare la coerenza della toolchain.
Il codice sorgente del progetto e i documenti correlati sono stati pubblicati su GitLab® per uso industriale e per scopi didattici. Inoltre, il programma di studi dell'HAN sarà arricchito con materiale didattico sulla sicurezza funzionale tratto dal progetto SafeCLAI, aiutando gli studenti a sviluppare preziose competenze occupazionali, esponendoli al modo in cui gli strumenti di generazione di codice, insieme a MATLAB e Simulink, vengono utilizzati nel settore.
