Modellbasierte Entwicklung im Rahmen von DO-178C/DO-331

Tag 1 von 3

Überblick über die modellbasierte Entwicklung im Rahmen von DO-178C/DO-331

Ziel: Verstehen, wie die Workflows von MathWorks die Ziele von DO-178C und DO-331 erfüllen und unterstützen.

• Überblick über die Lebenszyklen von Systemen, Software und Hardware
• DO-178C/DO-331-Workflow mit Model-Based Design
• Erfüllen der in DO-178C/DO-331 festgelegten Zielsetzungen mithilfe von Model-Based Design

Rückverfolgbarkeit der Anforderungen

Ziel: Rückverfolgen eines Modells zu den Anforderungen gemäß DO-178C/DO-331.

• Anforderungen im DO-178C-Prozess
• Rückverfolgung von Anforderungen mit der Requirements Toolbox
• Erstellen einer System Design Description
• Verstehen der Kompatibilität mit externen Anforderungsmanagement-Tools

Modellierungsstandards für DO-178C/DO-331

Ziel: Sicherstellen der Konformität mit Modellierungsstandards für DO-178C/DO-331.

• Modellierungsstandards für Anwendungen gemäß DO-178C/DO-331
• Modellierungsstandards im Model-Based-Design-Prozess
• Verwendung vorgefertigter Regeln in Simulink Check für High-Integrity-Systeme

Tag 2 von 3

Modellverifikation

Ziel: Verifizieren von Softwareanforderungen durch Simulation.

• Erstellen von Testfällen in Simulink Test
• Eingangsdaten für Testfälle und Datenerfassungsoptionen
• Rückverfolgen von Testfällen zu den Anforderungen
• Anforderungsbasiertes Testen mit Simulink Test

Modellabdeckung

Ziel: Erfassen des Modellabdeckungsgrades mithilfe von Simulink Coverage.

• Metriken für die Modellabdeckung
• Modellabdeckung mit Simulink Coverage
• Beheben fehlender Modellabdeckung

Abgeleitete Anforderungen und Designverifikation

Ziel: Verifikation von Low-Level-Anforderungen mithilfe von Simulink Design Verifier.

• Aufspüren unerreichbarer Modellelemente mit Simulink Design Verifier
• Entwickeln von Low-Level-Tests für fehlende Modellabdeckung
• Erstellen von Berichten zur Modellabdeckung

Tag 3 von 3

Verifikation und Rückverfolgbarkeit von Modellcode

Ziel: Verwenden von Simulink Code Inspector, um die strukturelle und algorithmische Äquivalenz zwischen einem Modell und seinem generierten Code zu demonstrieren.

• Überblick über die Code-Inspektion
• Prüfen der Modellkompatibilität für Simulink Code Inspector
• Verifizieren der Rückverfolgbarkeit vom Modell zum Code

Statische Codeanalyse und formale Codeverifikation

Ziel: Demonstrieren, dass der generierte Code konform mit Codestandards ist. Beweisen der Robustheit des Codes gegenüber verschiedenen Laufzeitfehlern.

• Überblick über Polyspace-Tools
• Ausführen von Polyspace-Analysen aus Simulink
• Durchsetzen von Codierungsstandards mit Polyspace Bug Finder
• Beweisen der Robustheit von Code mit Polyspace Code Prover
• Demonstrieren der Steuerungs- und Datenkopplungsabdeckung mit Polyspace Code Prover

Verifikation des Codes in Bezug auf die Softwareanforderungen

Ziel: Verwenden von Simulink Test, um die vollständige Codeabdeckung über Testfälle für Softwareanforderungen zu demonstrieren und die Softwareanforderungen auf der Zielhardware zu verifizieren.

• Überblick über Software-in-the-Loop (SIL) und Processor-in-the-Loop (PIL)
• Testen von ausführbarem Objektcode in Bezug auf die High-Level-Anforderungen
• Erfassen der Codeabdeckung

Tool-Qualifizierung

Ziel: Verwenden des DO Qualification Kits, um MathWorks Produkte und -Funktionen für die DO-178C-Zertifizierung zu qualifizieren.

• Voraussetzungen für die Tool-Qualifizierung
• Überblick über das DO Qualification Kit
• Beispielhafte Qualifizierung eines Tools
• Qualifizierbare Tools und erreichte Anrechnungen
• Anpassen des DO Qualification Kits