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, DO-254 und den entsprechenden Erweiterungen basieren. and other materials required for qualifying software verification tools. Das Kit enthält Qualifikationspläne, Betriebsanforderungen für Tools und andere Materialien, die für die Qualifizierung von Software-Verifikationstools erforderlich sind.
Unsere Kits zur Tool-Qualifizierung sind für spezifische Versionen von Simulink- und Polyspace-Verifikationstools gemäß DO-330 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.
Zertifizierung von Avionik-Systemhardware mit DO-254
Das DO Qualification Kit bietet eine Workflow-Anleitung und andere Materialien, die Ihnen den Einsatz der Simulink-Verifikationstools beim Nachweis der DO-254-Konformität erleichtern.
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.