Mit MATLAB und Simulink können Entwicklungsteams die Produktentwicklung beschleunigen und gleichzeitig sicherstellen, dass die strengsten Anforderungen von Sicherheitsstandards wie ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119, DO-178C und DO-254 erfüllt werden.
Das DO Qualification Kit und das IEC Certification Kit enthalten Referenz-Workflows und Anleitungen, mit denen Sie die Anforderungen der Sicherheitsstandards in ihren Prozessmodellen erfüllen können.
Die Kits umfassen Anleitungen zu Methoden und Anwendungsfällen für Werkzeuge, die Sie auf System-, Hardware- und Softwareebene einsetzen können und die sowohl die Spezifikation, Entwicklung, Implementierung, Verifikation als auch die Validierung abdecken. Verifikation und Validierung mit Model-Based Design umfassen Aktivitäten zur Verifikation von Softwareeinheiten bis hin zur Validierung von Systemanforderungen. Mit den Simulationsfunktionen des Model-Based Design können Sie einen Großteil dieser Verifikations- und Validierungsaktivitäten bereits vor der endgültigen Implementierung oder der Einführung von produktionsfähiger Hardware durchführen.
Konzept und Entwicklungstätigkeiten auf Systemebene
Mit Model-Based Design können Sie System Composer, Simulink, Simscape und Verifikations- und Validierungswerkzeuge in Simulink verwenden, um Ihre elektrischen und/oder elektronischen Systeme zu konzipieren, zu spezifizieren, zu entwickeln, zu verifizieren und zu validieren, einschließlich:
- Spezifikation von Systemsicherheit und nicht sicherheitsbezogenen Anforderungen
- Entwicklung und Spezifikation des Architekturdesigns mit Rückverfolgbarkeit zu den Systemanforderungen und Vorwärtsverfolgbarkeit zu den einzelnen Disziplinen (Hardware und Software)
- Frühe Verifikation und Validierung der Systemanforderungen und des Systemdesigns
- System Rapid Prototyping und Hardware-in-the-Loop-Tests auf Systemebene
Rapid Prototyping für Regelungen mit Simulink Real-Time (4:50)
Entwicklungstätigkeiten auf Software-Ebene
- Spezifikation von Softwaresicherheit und nicht sicherheitsbezogenen Anforderungen
- Entwicklung des Software-Architekturdesigns mit Rück- und Vorwärtsverfolgbarkeit zu den Software-Anforderungen und Software-Elementen
- Entwicklung und Implementierung von Softwareeinheiten, ohne oder mit automatischer Codegenerierung
- Entwicklung, Implementierung und Integration von Softwarekomponenten, einschließlich automatischer Codegenerierung aus Software-Komponentenmodellen
- Statische und dynamische Verifikation auf der Ebene der Softwareeinheit, der Softwarekomponente und der vollständig integrierten Embedded Software
Entwicklungstätigkeiten auf Hardware-Ebene
Modellbasiertes Design ermöglicht Entwicklungsteams FPGA- und ASIC-Anwendungen zu entwickeln, die Standardanforderungen an programmierbare Logikbausteine einzuhalten, einschließlich Entwicklungs- und Verifikationstätigkeiten.
Unterstützung von Prozessen
Zusätzlich zu den technischen Prozessen umfasst das Model-Based Design eine Reihe von Funktionen, die für die Unterstützung von Prozessen relevant sind.
Standards
Die folgenden Links führen zu den für die verschiedenen Standards spezifischen Inhalte. Da die einzelnen Zertifizierungsstandards jedoch viele Gemeinsamkeiten aufweisen, können Sie einige Methoden und Konzepte mit geringen oder gar keinen Änderungen von einem Standard auf einen anderen übertragen.
Schlüsselprodukte für die Einhaltung der Standards für funktionale Sicherheit:
- IEC Certification Kit (für ISO 26262, IEC 61508 und verwandte Standards)
- DO Qualification Kit (für DO 178C und verwandte Standards)