Funktionale Sicherheitsstandards

Produktentwicklung nach Sicherheitsstandards mit Model-Based Design

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.

Schema eines Referenz-Workflows für die System- und Softwarezertifizierung.

Ein Referenz-Workflow für die System- und Softwarezertifizierung im DO Qualification Kit und IEC Certification Kit.

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)

Sie arbeiten mit Ihren Anforderungen und Ihrem Architekturdesign in derselben Umgebung.

Entwicklungstätigkeiten auf Software-Ebene

Engineers entwickeln Embedded Software mit Model-Based Design zur Erfüllung von Zertifizierungsstandards (23:33)

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

Entwicklung von Embedded Software mit Model-Based Design zur Erfüllung von Zertifizierungsstandards (23:33)

Illustration von Softwaretests mit Model-Based Design.

Testen Sie Ihre Software, sobald Ihre detaillierten Entwicklungsmodelle zur Verfügung stehen.

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.

ASIC- und FPGA-Workflow für ISO 26262 und IEC 61508 (3:06)

Mit HDL Verifier stellen Sie sicher, dass Ihr generiertes RTL wie gewünscht funktioniert.

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.

Führen Sie MATLAB und Simulink auf Ihrem eigenen CI-Server aus

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.