AdaCore QGen 17.1 unterstützt modellbasierte Entwicklung und Verifikation
QGen überbrückt die Kluft zwischen Steuerungstechnik und Software-Engineering. Es unterstützt Anwender in der Luft- und Raumfahrt-, der Automobilindustrie sowie in anderen sicherheitskritischen, Software-intensiven Bereichen. Die Lösung schöpft die Möglichkeiten der modellbasierten Entwicklung voll aus, wobei der Benutzer die Low-Level-Kontrolle behält, so dass eine vollständige Integration mit der jeweiligen Ziel-Hardware sichergestellt werden kann.
QGens qualifizierbarer und anpassbarer Codegenerator verarbeitet eine sichere Teilmenge von Simulink- und Stateflow-Modellen und generiert Quellcode in den sicherheitsorientierten Programmiersprachen SPARK – eine auf Ada basierende Sprache, die besonders für statische Analysen geeignet ist – und MISRA C. QGen 17.1 enthält eine aktualisierte Benutzeroberfläche, Unterstützung für zusätzliche Simulink-Blöcke, eine effiziente und benutzerfreundliche Kompatibilitätsprüfung und ein robustes und leistungsstarkes Debugging für das Back-to-Back-Testen zwischen Simulation und Ausführung auf der Zielplattform. QGen 17.1 ist mit den MATLAB-Versionen 2009b bis 2016b kompatibel.
Die beispielhaften Debugging-Möglichkeiten in QGen 17.1 bringen Block- und Signal-Visibility auf Modell-Ebene in die Welt der Embedded-Systeme. Mit der Entwicklungsumgebung GNAT Programming Studio (GPS) können Entwickler nicht nur "reine" Simulink- und Stateflow-Modelle debuggen, sondern auch Anwendungen, die handgeschriebenen und automatisch generierten Code kombinieren. Der Debugger zeigt eine vollständige, grafische Darstellung des Simulink-Modells und gibt die Werte der Signalvariablen an, die während der Ausführung aktualisiert werden. Signalwerte können zu Testzwecken manuell überschrieben werden, um das Modell in Zustände zu bringen, die auf andere Weise nur mühsam zu erreichen sind. Der erzeugte SPARK- oder MISRA-C-Code kann immer zugleich mit dem Modell angezeigt werden und der Entwickler kann zwischen einem Punkt im Modell und der entsprechenden Position im Quellcode leicht hin- und herspringen. Der Debugger kann das Programm schrittweise ausführen, entweder auf Quellcodeebene oder Blockebene, und zwischen automatisch generiertem Code und benutzerdefiniertem Code wechseln.
"QGen ist sehr viel mehr als nur ein qualifizierter Codegenerator für Simulink- und Stateflow-Modelle", erläutert Tucker Taft, Produktarchitekt für QGen bei AdaCore. "QGen integriert nun Subset-Kompatibilitäts-Checker, optimierte, qualifizierbare Codegenerierung, statische Modell-Verifikation, Prozessor-in-the-Loop (PIL)-Prüfung auf einem realen Zielsystem oder durch Emulation auf dem Host, sowie die einzigartigen Debugging-Fähigkeiten auf Modell-Ebene."
QGen wurde für den Einsatz auf sicherheitskritischen Systemen auf höchstem Niveau konzipiert und ist qualifiziert für Tool Qualification Level TQL-1 für DO-178C – entsprechend einem Entwicklungswerkzeug unter DO-178B; Qualifizierungsmaterialien sind verfügbar.
QGen 17.1 ist ab sofort verfügbar; Informationen zu Preisen sowie Details zu den unterstützten Plattformen finden sich unter info@adacore.com
Über AdaCore
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers
AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
Pressekontakte
AdaCore
Jamie Ayre
press@AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803