Der DO-254-Standard definiert die Zielvorgaben für Hardware, deren Zertifizierung für den Einsatz in luftgestützten Systemen erforderlich ist. Mit MATLAB® und Simulink® können Sie die DO-254-Vorgaben erfüllen und folgende Prozesse unterstützen:
- Verwaltung und Rückverfolgung von Anforderungen
- Konformität mit Designstandards
- HDL-Entwurf
- Verifizierung und Validierung
Darüber hinaus können Sie mit Model-Based Design die Zielvorgaben von DO-254 erfüllen und gleichzeitig Kosten- und Zeitvorteile erzielen, die mit der frühzeitigen Verifikation von Anforderungen, der automatisierten Verknüpfung mit Anforderungen, der Prüfung von Modell- und Codestandards, der Codegenerierung, der Generierung von Berichtsartefakten und der Wiederverwendung von Testfällen auf verschiedenen Ebenen verbunden sind.
DO-254 Resources
Unterstützende Materialien zu DO-254
- Model-Based Design zum Nachweis von DO-254-Konformität (8:25)
- Zertifizierung eines auf einem SoC implementierten Flugleitsystems (13:33)
- Erzielen von Konformität mit STARC und DO-254 mit generiertem Code aus HDL Coder
- MATLAB und Simulink für Embedded-Systeme
- HIL- und automatisierte Testanwendungen für die Luft- und Raumfahrt mit MathWorks und Speedgoat-Anwendungen
- Universal Verification Methodology (UVM)
- SystemVerilog-Aussagen
- Poster mit Workflow-Details für Model-Based Design nach DO-254