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
DO-178-Standards mit MATLAB und Simulink
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
Erfolgsberichte von Kunden
Weitere Informationen
Produkte kennenlernen
Implementierung und Verifizierung Ihres Entwurfs
Entwerfen Sie eine Architektur und treffen Sie Implementierungsentscheidungen, damit Ihr Entwurf fehlerresistent und wartbar ist:
- Implementierung aufspalten und in Komponenten zerlegen
- Daten- und Steuerelementekopplung organisieren
- Entwurf überprüfen auf Genauigkeit und Einhaltung von Industriestandards (DO-178C/DO-331-, DO-254-Überprüfungen)
- Entwurfsdokumentation für Zertifizierungsaudits generieren
- Code generieren und Konformität zwischen Code und Modellen sicherstellen
Erfolgsberichte von Kunden
Weitere Informationen
Produkte kennenlernen
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
Erfolgsberichte von Kunden
Weitere Informationen
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:
- Testverfahren wiederverwenden, mit denen die Anforderungen an das formale Testen entwickelt wurden
- Anforderungsbasierte Tests verwenden, um Modelle zu entwickeln
Erfolgsberichte von Kunden
Produkte kennenlernen
„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
Weitere Informationen
Vertrieb kontaktieren
Jetzt loslegenMehr zur Luftfahrt, Raumfahrt und Verteidigung
Sie können auch eine Website aus der folgenden Liste auswählen:
Amerika
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asien-Pazifik
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)