Main Content

La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Modellazione di sistemi ad alta integrità

Linee guida per la 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