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.
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.“
DO Qualification Kit (für DO-178) – Häufig gestellte Fragen
Das DO Qualification Kit ist eine Sammlung von Dokumentationen, Testfällen und Verfahren, die Ihnen hilft, MathWorks-Verifizierungstools — wie Simulink®- und Polyspace®-basierte Tools — für Luftfahrtsoftware- und Hardwareprojekte zu qualifizieren, die Standards wie DO-178C, DO-254 und DO-278A einhalten müssen.
Das DO Qualification Kit ist so konzipiert, dass es die Entwicklung von Luftfahrtsystemen gemäß den von Zertifizierungsbehörden verwendeten Leitlinien unterstützt, indem es eine strukturierte Möglichkeit bietet, nachzuweisen, dass die Tools ihre vorgesehenen Verifizierungsfunktionen korrekt ausführen und keine Fehler einführen.
Das DO Qualification Kit stellt Qualifizierungsartefakte für Projekte bereit, die auf DO-178C, DO-331, DO-254 und DO-278A basieren. Das DO Qualification Kit konzentriert sich auf MathWorks-Verifizierungs- und Validierungstools, die in einem modellbasierten Entwicklungsworkflow eingesetzt werden, einschließlich der Simulink-Verifikations- und Validierungsprodukte sowie der Polyspace-Tools für statische Analyse und Code-Tests. Diese Tools werden verwendet, um Modellprüfungen zu automatisieren, Coverage-Analysen, Testausführungen und Konsistenzprüfungen zwischen Modell und Code in DO-178C/DO-331- und DO-254-Workflows durchzuführen. Für die aktuelle, detaillierte Liste der unterstützten Tools und Funktionen siehe die DO Qualification Kit-Dokumentation in der Produkt-Hilfe.
Nein. Das DO Qualification Kit „präqualifiziert“ Tools nicht automatisch. Die Tool-Qualifizierung muss im Kontext jedes spezifischen Projekts und der jeweiligen Betriebsumgebung durchgeführt werden. Der Tool-Anwender ist letztlich für die Qualifizierung verantwortlich, einschließlich des Nachweises, dass das Tool für den vorgesehenen Einsatz geeignet ist, und der Verifizierung seines Betriebs in der installierten Umgebung. Das DO Qualification Kit stellt Artefakte — wie Planungsdokumente, Tool-Betriebsanforderungen, Qualifizierungs-Testfälle und Testberichte — zur Unterstützung dieser projektspezifischen Qualifizierungsarbeit bereit und reduziert den Umfang der individuell zu erstellenden Dokumentation und Tests.
Das DO Qualification Kit hilft Ihnen, die Einhaltung beim Einsatz von Tools innerhalb eines DO-178C- oder DO-254-Projekts nachzuweisen, indem es bereitstellt: Pläne und Vorlagen zur Tool-Qualifizierung (z. B. PSAC- und TQP-bezogene Inhalte für Verifizierungstools). Tool-Betriebsanforderungen, Test-Spezifikationen und automatisierte Qualifizierungs-Testfälle, die Sie in Ihrer Umgebung ausführen können. Workflow-Dokumente, die den Einsatz von Simulink, Embedded Coder, Simulink Code Inspector, Polyspace und verwandten Tools auf die Ziele von DO-178C und DO-254 abbilden. Diese Artefakte sollen in Ihre Projektpläne, die Nachverfolgbarkeit und das Konfigurationsmanagement integriert werden, sodass Sie während eines Audits zeigen können, wie die Aktivitäten zur Tool-Qualifizierung die Ziele in DO-178C, DO-254, DO-330 und DO-331 unterstützen.
Ein typischer Weg, um mit dem DO Qualification Kit zu beginnen, ist: Öffnen Sie die DO Qualification Kit-App und die Beispielprojekte aus MATLAB oder Simulink. Über die App können Sie die DO-178C- und DO-254-Beispielprojekte öffnen, die Projektstruktur überprüfen und die mitgelieferten Artefakte erkunden. Prüfen Sie die mit dem Kit gelieferten Workflow-Dokumente zu DO-178C und DO-254, um zu verstehen, wie qualifizierte Tools in Ihre System-, Software- und Hardware-Entwicklungsprozesse passen. Passen Sie die bereitgestellten Pläne, Checklisten und Berichte (z. B. Tool-Qualifizierungspläne und Checklisten) an Ihren Entwicklungsprozess, Standardsupplements und Ihre Zertifizierungspläne an. Führen Sie die mitgelieferten Qualifizierungs-Testfälle in Ihrer Umgebung aus, prüfen Sie die Ergebnisse und integrieren Sie die erzeugten Nachweise in das Konfigurationsmanagement und den Zertifizierungsdatensatz Ihres Projekts. Viele Kunden des DO Qualification Kit beginnen mit dem mitgelieferten DO-178C/DO-254-Beispiel und passen dann den Workflow und die Artefakte an ihre eigene Systemarchitektur, DAL und Toolchain an.
