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:
Interessiert an DO Qualification Kit?
Haben Sie Fragen?
Wenden Sie sich an das technische Team für DO Qualification Kit.