Modellierung von Hochintegritäts-Systemen
Verwenden Sie die Richtlinien für Hochintegrität, wenn Sie Modelle entwickeln und Code für Hochintegritäts-Systeme generieren, indem Sie Model-Based Design mit MathWorks®-Produkten verwenden. Die Richtlinien enthalten Überlegungen zu Modelleinstellungen, Block-Verwendung und Blockparametern für die Erstellung von Modellen, die umfassend, eindeutig, statisch deterministisch, fehlerresistent und überprüfbar sind.
Diese Richtlinien setzen nicht voraus, dass Sie einen bestimmten Sicherheits- oder Zertifizierungsstandard verwenden. Die Richtlinien verweisen auf einige (ggf. anwendbare) Sicherheitsstandards, z. B. DO-178C / DO-331, IEC 61508, ISO 26262, EN 50128/EN 50657, ISO 25119 und EN 50657.
Wenn Sie über eine Simulink® Check™-Lizenz verfügen, können Sie Model Advisor verwenden, um die Einhaltung einer Anleitung zu überprüfen. Die Model Advisor-Prüfungen finden Sie unter Model Advisor Checks for High-Integrity Systems Modeling Guidelines.
Weitere Informationen finden Sie unter Motivation und Guideline Template.
Kategorien
- Überlegungen zu Simulink-Blöcken
Namen, mathematische Operationen, Ports und Subsysteme, Signalrouting, Logik- und Bitoperationen
- Überlegungen zu Stateflow-Charts
Namen, Eigenschaften und Architektur von Stateflow®-Charts
- Überlegungen zu MATLAB-Funktionen und MATLAB-Code
MATLAB®-Funktionen, MATLAB-Code
- Überlegungen zu Konfigurations-Parametern
Einstellungen zu Solver, Diagnostik und Optimierung
- Überlegungen zu Anforderungen
Verknüpfung von Anforderungen mit einem Modell
- MISRA C:2012 Compliance-Erwägungen
MISRA C:2012 Compliance, einschließlich Modellierungs-Style, Block-Verwendung, und Konfigurationseinstellungen