Funktionale Sicherheitsstandards

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:

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)

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.

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.

Schlüsselprodukte für die Einhaltung der Standards für funktionale Sicherheit: