BRANCHENSTANDARDS

DO-178C

Zertifizierung für luftgestützte Systeme durch den Einsatz von Model-Based Design

Der DO-178C-Standard definiert die Zielvorgaben für Software, deren Zertifizierung für den Einsatz in luftgestützten Systemen erforderlich ist. Sie können Risiken und Aufwand mit einem Verifizierungsansatz reduzieren, der die DO-178C-Zielsetzungen unterstützt:

  • Systemvoraussetzungen durch die Erstellung einer ausführbaren Spezifikation iterieren und verfeinern
  • Durch Einsatz von Modellierung und Simulation die Architektur definieren und Ihre Entwurfsentscheidungen hinsichtlich Fehlerresistenz und Wartbarkeit bestätigen
  • Durch Back-to-Back-Tests und durchgängige Rückverfolgbarkeit von den Anforderungen bis hin zu den Tests die Abdeckung von Code und ausführbaren Dateien demonstrieren
  • Modell- und Codeüberprüfungsmaßnahmen automatisieren
  • Durch den Einsatz formaler Methoden die Testmaßnahmen reduzieren

Organisation von Anforderungen und Rückverfolgbarkeit

Organisieren Sie Ihre Systemanforderungen mit durchgängiger Rückverfolgbarkeit:

  • Anforderungen erstellen, mit Rich-Text, Bildern und all ihren Attributen
  • Überprüfen und Vollständigkeit mit Ihren Zielsetzungen zeigen
  • Anforderungsdokumentation für Zertifizierungsaudits generieren
Organisation von Anforderungen und Rückverfolgbarkeit

Implementierung und Verifizierung Ihres Entwurfs

Implementierung und Verifizierung Ihres Entwurfs

Entwerfen Sie eine Architektur und treffen Sie Implementierungsentscheidungen, damit Ihr Entwurf fehlerresistent und wartbar ist:


Nachweis Ihrer Codequalität

Automatisieren Sie die Codevalidierung durch die MISRA-Compliance (Motor Industry Software Reliability Association) und formale Methoden:

  • Codequalität und -wartbarkeit durch Codeuntersuchungen nach MISRA- oder CERT-C-Regeln überprüfen
  • Niederschwellige Testmaßnahmen durch Einsatz formaler Methoden (DO-333) reduzieren
Nachweis Ihrer Codequalität

Tests Ihrer Implementierung auf der Grundlage von Anforderungen

Test- und Anforderungsrückverfolgbarkeit in Abdeckungsergebnissen.

Tests Ihrer Implementierung auf der Grundlage von Anforderungen

Zeigen Sie die Einhaltung von Anforderungen in Bezug auf funktionale und technische Erwartungen:


Unterstützung eines qualifizierten Workflows

„Wir vertrauen der Qualität des generierten Codes genauso sehr wie dem von uns herkömmlich und manuell erstellten. Bei Embedded Coder können wir uns sicher sein, dass wir den richtigen Code erstellen. Simulink Code Inspector garantiert uns die Rückverfolgbarkeit zum Modell.“

Jillian Alfred, Entwicklerin von Fly-by-Wire-Flugsteuerungsmodi für Bell 525