Modellazione di sistemi ad alta integrità
Utilizzare le linee guida per l'alta integrità quando si sviluppano modelli e si genera codice per sistemi ad alta integrità utilizzando la progettazione Model-Based con i prodotti MathWorks®. Le linee guida forniscono considerazioni sull'impostazione del modello, sull'utilizzo dei blocchi e sui parametri dei blocchi per la creazione di modelli completi, non ambigui, staticamente deterministici, robusti e verificabili.
Queste linee guida non presuppongono l'utilizzo di un particolare standard di sicurezza o di certificazione. Le linee guida fanno riferimento ad alcuni standard di sicurezza quando applicabili, tra cui DO-178C / DO-331, IEC 61508, ISO 26262, EN 50128/EN 50657, ISO 25119 e EN 50657.
Se si dispone di una licenza Simulink® Check™, è possibile utilizzare il Model Advisor per verificare la conformità a una linea guida. Per visualizzare le modifiche del Model Advisor, vedere Model Advisor Checks for High-Integrity Systems Modeling Guidelines.
Per ulteriori informazioni, vedere Motivation e Guideline Template.
Categorie
- Considerazioni sui blocchi di Simulink
Nomi, operazioni matematiche, porte e sottosistemi, routing del segnale, operazioni logiche e di bit
- Considerazioni sui grafici di Stateflow
Nomi, proprietà e architettura del grafico di Stateflow®
- Funzioni di MATLAB e considerazioni sul codice MATLAB
Funzioni di MATLAB®, codice MATLAB
- Considerazioni sui parametri di configurazione
Risolutore, diagnostica e ottimizzazione delle impostazioni
- Considerazioni sui requisiti
Collegamento dei requisiti a un modello
- Considerazioni sulla conformità MISRA C:2012
Conformità MISRA C:2012, compreso lo stile di modellazione, l’utilizzo dei blocchi e le impostazioni di configurazione