Standard di sicurezza funzionale

Sviluppo di prodotti in base a standard di sicurezza per la progettazione Model-Based

Con MATLAB e Simulink, i team di ingegneri velocizzano il processo di sviluppo prodotti garantendo la conformità ai requisiti più rigorosi degli standard di sicurezza, quali ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119, DO-178C e DO-254.

Il DO Qualification Kit e l’IEC Certification Kit mettono a disposizione workflow di riferimento e linee guida che consentono di soddisfare i requisiti degli standard di sicurezza in tutti i modelli di processo.

I kit offrono linee guida sui metodi e i casi d’uso degli strumenti, utilizzabili a livello di sistema, hardware e software e che includono le attività di definizione, progettazione, implementazione, verifica e convalida. Le operazioni di verifica e convalida con la progettazione Model-Based comprendono attività di verifica delle unità software, fino alla convalida dei requisiti di sistema. Grazie alle funzionalità di simulazione della progettazione Model-Based, è possibile procedere allo Shift Left di gran parte di queste attività di verifica e convalida addirittura alle fasi precedenti all’implementazione finale o alla messa a disposizione dell’hardware di produzione.

Diagramma di un workflow di riferimento per la certificazione di sistemi e software.

Workflow di riferimento per la certificazione di sistemi e software nel DO Qualification Kit e nell’IEC Certification Kit.

Operazioni di concettualizzazione e sviluppo a livello di sistema

Con la progettazione Model-Based, è possibile utilizzare System Composer, Simulink, Simscape e gli strumenti di verifica e convalida in Simulink per concettualizzare, definire, progettare, sviluppare, verificare e convalidare i propri sistemi elettrici e/o elettronici (E/E), tra cui:

Definizione dei requisiti di sicurezza e non dei sistemi
Sviluppo e definizione di progetti di architetture con tracciabilità inversa rispetto ai requisiti di sistema e tracciabilità in avanti rispetto alle singole discipline (hardware e software)
Verifica e convalida anticipate dei requisiti di sistema e dei progetti di sistema
Prototipazione rapida dei sistemi e test Hardware-In-the-Loop a livello di sistema

Prototipazione rapida dei sistemi di controllo con Simulink Real-Time (4:50)

Lavorare con i propri requisiti e progetti di architetture nello stesso ambiente.

Attività di sviluppo a livello di software

Gli ingegneri sviluppano software embedded con la progettazione Model-Based per soddisfare i requisiti degli standard di certificazione (23:33)

Definizione di requisiti di sicurezza e non per i software
Sviluppo di progetti di architetture software con tracciabilità inversa e in avanti rispettivamente in relazione a requisiti software e a elementi software
Progettazione e implementazione di unità software, senza o con generazione automatica di codice
Progettazione, implementazione e integrazione di componenti software, compresa la generazione automatica di codice a partire da modelli di componenti software
Verifica statica e dinamica a livello di unità software, componente software e di software embedded completamente integrato

Sviluppo di software embedded con la progettazione Model-Based per soddisfare i requisiti degli standard di certificazione (23:33)

Illustrazione di un test del software con la progettazione Model-Based.

Esecuzione di test del software non appena i modelli di progettazione dettagliati diventano disponibili.

Attività di sviluppo a livello hardware

La progettazione Model-Based consente agli ingegneri di sviluppare applicazioni FPGA e ASIC conformi ai requisiti degli standard su dispositivi logici programmabili, comprese le attività di progettazione e verifica.

workflow ASIC e FPGA per ISO 26262 e IEC 61508 (3:06)

Uso di HDL Verifier per garantire che l’RTL generato funzioni come previsto.

Processi di supporto

Oltre ai processi ingegneristici, la progettazione Model-Based mette a disposizione alcune funzionalità correlate ai processi di supporto.

Esecuzione di MATLAB e Simulink sul proprio server di CI.

Standard

I seguenti link mostrano contenuti specifici correlati a vari standard; tuttavia, dati i vari punti in comune tra i diversi standard di certificazione, è possibile trasferire metodi e concetti da uno standard all’altro apportando poche o nessuna modifica.