DO Qualification Kit (für DO-178 und DO-254)

 

DO Qualification Kit (für DO-178 und DO-254)

Qualifizierung der Simulink- und Polyspace-Verifikationstools für DO-178, DO-278 und DO-254

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.

„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.“

Mike Bothwell, Bell Helicopter