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.
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)
Attività di sviluppo a livello di software
- 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
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.
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.
Prodotti essenziali per la conformità agli standard di sicurezza funzionale:
- IEC Certification Kit (per ISO 26262, IEC 61508 e standard correlati)
- DO Qualification Kit (per DO-178C e standard correlati)
Come possiamo aiutarti?
Contattaci per ricevere una valutazione personalizzata e per ottenere una quotazione sulla base delle tue esigenze.
