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.