LuFo VI: Qualifizierte Software - Parallelisierung für Multicore-Avioniksysteme - QSMA

Abstract

Ziel unseres Projekts war es, ein Qualifizierungskit zu entwickeln, das auf bestimmte Softwaretools zugeschnitten ist und die Einhaltung der DO-330-Normen gewährleistet. Dazu gehörte die Qualifizierung von Werkzeugen wie dem emmtrix Checker-Tool, AbsInt TimeWeaver und AbsInt CompCert, die jeweils eigene Anforderungen und Aufgaben in unserem Software-Entwicklungszyklus haben. So stellt das emmtrix Checker-Tool beispielsweise die semantische Äquivalenz zwischen sequentiellem und parallelem Code sicher, während TimeWeaver die Ausführungszeit im schlimmsten Fall (WCET) von Aufgaben bewertet, die für Soft-Echtzeitsysteme entscheidend ist. Jedes Werkzeug wurde analysiert, um seine Auswirkungen auf die Sicherheit und Effizienz in einer Mehrkern-Verarbeitungsumgebung zu bestimmen. Das Projekt befasste sich auch mit den sich verändernden Anforderungen an die Softwareentwicklung in der Luft- und Raumfahrt, wobei der Schwerpunkt auf der Anpassung an neue Bereiche wie Urbane Luftmobilität (UAM) und die Integration moderner Methodologien. Der Projektbericht beleuchtet verschiedene Phasen im Qualifizierungslebenszyklus, einschließlich Werkzeugentwicklung, Verifizierung, operative Validierung und Integration von kommerziellen Standardwerkzeuge (COTS) für die Softwareentwicklung. Außerdem werden die praktischen Aspekte der Werkzeugqualifizierung, die Herausforderungen und die strategischen Methoden zur um die Einhaltung von Sicherheitsstandards zu gewährleisten. Unsere Forschungsergebnisse tragen dazu bei, zu verstehen, wie alternative Methoden wie die Übergreifenden Eigenschaften (OPs) einen flexiblen, leistungsbasierten Ansatz für die Zertifizierung bieten können. Dies steht im Einklang mit unserem ständigen Ziel, die Strategien zur Werkzeugqualifizierung zu verbessern, um die Entwicklung sicherer, zuverlässiger und effizienter Luftfahrtsysteme zu unterstützen. Datei-Upload durch TIB