Startseite » Computer & Technik » Technik & Elektronik » AdaCores QGen-Codegenerator modernisiert die modellbasierte Entwicklung von Collins Aerospace

AdaCores QGen-Codegenerator modernisiert die modellbasierte Entwicklung von Collins Aerospace

Paris, 20. Juli 2021 – Mit dem Einsatz des QGen-Codegenerators für Simulink/Stateflow-Modelle und des neuen TQL-1 Enterprise Qualification Package von AdaCore treibt Collins Aerospace zukünftig die Entwicklung des FAA-zertifizierbaren Perigon-Computers voran. Dieser soll die kommenden Anforderungen im Bereich Flugkontrolle und Fluggerätmanagement von zivilen und militärischen Dreh- und Starrflüglerplattformen unterstützen.

Durch die Verwendung der QGen-TQL-1-Version von AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, sparen sich Perigon-Entwickler Tausende von Stunden an Test-, Verifikations- und Zertifikationsaufwand, während sie den Kunden zusätzliche Sicherheitsgarantieren bieten können. Der Einsatz des Enterprise Qualification Packages von QGen ermöglicht Collins überdies, deren modellbasierte Konstruktionsverfahren zu rationalisieren.

QGen ist der erste qualifizierbare Codegenerator für ein sicheres Subset der Simulink/Stateflow-Modellierungssprachen. Das Tool generiert automatisch C- oder Ada-Quellcode direkt aus dem Modell und erhält auf präzise Weise dessen Funktionalität. Die Notwendigkeit, den so erstellten Code manuell zu verifizieren, entfällt. Für Systeme, die höchste Sicherheit erfordern – etwa im Bereich der zivilen Luftfahrt, bei medizinischen Geräten und Anwendungen für das autonome Fahren –, wurde QGen von AdaCore und dessen Partner Verocel auf DO-178C Tool Qualification Level 1 (TQL-1) zertifiziert, der höchsten von der FAA anerkannten Qualifikationsstufe. In Verbindung mit TQL-1 erlaubt der Codegenerator Entwicklern, den generierten Code ohne manuelle Prüfung zu nutzen, was den Entwicklungs- und Verifikationsprozess kritischer Systeme optimiert. Zudem beinhaltet QGen einen interaktiven Debugger auf Modellebene, der das jeweilige Modell gemeinsam mit dem generierten Quellcode darstellt. So wird eine einzigartige produktive Brücke zwischen Control- und Software-Engineering geschlagen.

QGen beinhaltet ab sofort ein Enterprise Qualification Package, das ein flexibles Lizensierungsmodell verwendet. So kann jedes Projekt, egal welcher Größe, unternehmensweit die Vorteile eines mit TQL-1 qualifizierten Autocode-Generators nutzen. Das Package basiert auf einem speziellen Abonnement, durch das Nutzer jedes Jahr ein aktualisiertes Qualifikations-Kit erhalten. Alle Projekte erhalten die gleichen Garantien, inklusive Support durch Experten für Zertifikationsprüfungen. Große Organisationen, die einen Großteil ihrer Entwicklungs- und Verifikationsaktivitäten via Modellsimulation durchführen, können den Verifikationsaufwand für generierten Code drastisch reduzieren und dabei Kosten sparen und den gesamten Zertifikationsprozess optimieren.

„AdaCore freut sich, gemeinsam mit Collins Aerospace, den ersten TQL-1-Codegenerator für Simulink auf den Markt zu bringen“, berichtet JC Bernedo, Leiter des QGen-Teams bei AdaCore. „Wir haben über den gesamten Entwicklungsprozess von QGen eng mit Collins zusammengearbeitet, damit der Codegenerator den spezifischen Anforderungen der kritischsten Luftfahrtsoftware unseres Partners gerecht wird.“

Posted by on 23. Juli 2021. Filed under Technik & Elektronik. You can follow any responses to this entry through the RSS 2.0. You can leave a response or trackback to this entry

Sie müssen angemeldet sein um Kommentare zu schreiben Anmelden


Blogverzeichnis - Blog Verzeichnis bloggerei.de Blog Top Liste - by TopBlogs.de Blogverzeichnis