Das DO Qualification Kit umfasst Dokumentationen, Testfälle und Verfahren zur Qualifizierung der Software-Verifikationstools von Simulink und Polyspace für Projekte, die auf DO-178C, DO-278A und den entsprechenden Erweiterungen basieren. Das Kit enthält Qualifikationspläne, Betriebsanforderungen für Tools und andere Materialien, die für die Qualifizierung von Software-Verifikationstools erforderlich sind. Mit dem Kit können Sie die Zertifizierung von Embedded Systems optimieren, die mittels Model-Based Design-Workflows mit unterstützten Simulink-Produkten entwickelt wurden. Durch Einsatz des Kits mit Polyspace-Produkten können Sie die Zertifizierung von Embedded Systems, die konventionelle Workflows oder Model-Based Design verwenden, weiter optimieren.
Mit dem DO Qualification Kit lassen sich auch Simulink-Modellverifikationstools für Projekte nach DO-254 qualifizieren. Jedoch unterstützen der Simulink Code Inspector und die Polyspace-Codeverifikationstools keinen HDL-Code und sind daher nicht für DO-254 geeignet.
Unsere Kits zur Tool-Qualifizierung sind für spezifische Versionen von Simulink- und Polyspace-Verifikationstools gemäß DO-330, Software Tool Qualification Considerations, erhältlich. Sie können die Artefakte im Tool Qualification Kit für Ihr jeweiliges Projekt modifizieren und in die DO-178C-, DO-278A- und DO-254-Zertifizierungspakete aufnehmen, die zur Zertifizierung eingereicht werden.
Zertifizierung von Avioniksoftware mit DO-178
Unterstützen Sie Ihre DO-178C-Zertifizierungsprozesse mit den im Kit enthaltenen Workflow-Anleitungen und anderen Materialien. Nutzen Sie diese Ressourcen, um die Verwendung der Software-Tools Simulink und Polyspace für Erweiterungen einschließlich DO-330, DO-331 und DO-333 zu erleichtern.
Certify Avionic System Hardware with DO-254
DO Qualification Kit provides workflow guidance and other materials to facilitate your use of Simulink verification tools in demonstrating DO-254 compliance.
Qualifizierung von Tools
Implementieren Sie den in DO-178C spezifizierten Tool-Qualifizierungsansatz mithilfe der im Kit bereitgestellten Dokumentvorlagen, Testfälle und -verfahren zur Qualifizierung der unterstützten Simulink- und Polyspace-Produkte.
Produktressourcen:
„Mit dem Model-Based Design hatten wir einen erfolgreichen ersten Flug. Hinsichtlich Steuerung oder Integration gab es keine Probleme. Weil wir den Steuerkontrollcode mit Embedded Coder aus unserem Simulink-Modell generierten, gab es keine Zeitverluste wie sonst bei manueller Codegenerierung. Außerdem konnte sich das Team auf das Erreichen der weiter gefassten Programmziele konzentrieren.“
Interessiert an DO Qualification Kit?
Haben Sie Fragen?
Wenden Sie sich an das technische Team für DO Qualification Kit.
Nächste Schritte
Navigation im Panel
LÖSUNGEN
Industriestandards: DO-178C
Navigation im Panel
LÖSUNGEN
Industriestandards: DO-254
