(openPR) Paris und Nürnberg, 23. Februar 2016 – AdaCore zeigt auf der Embedded World 2016 in Nürnberg zwei neue Produktversionen: QGen, ein Werkzeug für die modellbasierte Entwicklung und Verifikation sicherheitskritischer Software ist nun in Version 2.1 verfügbar; die Entwicklungsumgebung GNAT Pro für die Programmiersprache Ada liegt jetzt in Version 7.4 vor.
AdaCore QGen 2.1
AdaCore, Anbieter von Entwicklungs- und Verifizierungs-Tools für verlässliche und sichere Software, stellt auf der Embedded World 2016, die vom 23. bis 25. Februar 2016 in Nürnberg stattfindet – in Halle 4 Stand 4-149 – die neueste Version seines modellbasierten Entwicklungs- und Verifikations-Toolsets QGen vor. QGen bietet einen qualifizierbaren und anpassbaren Code-Generator aus Simulink- und Stateflow-Modellen für die sicherheitsorientierten Programmiersprachen SPARK (ein formal analysierbares Ada-Subset) und MISRA C. QGen 2.1 unterstützt grundsätzlich alle Konstrukte, die zur Modellierung sicherheitskritischer Steuerungssysteme verwendet werden.
Darüber hinaus enthält QGen 2.1 eine Reihe weiterer Verbesserungen, so die Optimierung von Code für Switch Blocks, die Möglichkeit externen Code zu Lookup-Tabellen und Prelookup-Blöcken hinzuzufügen, die Unterstützung von auskommentierten beziehungsweise kommentierten Through Blocks sowie Factoring Code für Referenzmodelle und Modellbibliotheken. QGen 2.1 ist kompatibel zu MATLAB-Versionen von 2008b bis 2015b.
Als Ergänzung zu QGen 2.1 steht eine erste Unterstützung für das Modell-Level-Debugging zur Verfügung. Mit der integrierten Entwicklungsumgebung GNAT Programming Studio (GPS) können Entwickler "reine" Simulink- beziehungsweise Stateflow-Modelle und -Anwendungen debuggen, die manuell erstellten mit automatisch generiertem Code kombinieren.
Mit QGen 2.1 lässt sich der Aufwand in der modellbasierten Entwicklung und Verifikation reduzieren; künftige Versionen werden die QGen-Produktlinie laufend erweitern. Zu den geplanten Erweiterungen gehören die Unterstützung der Transformation von High-Level-Anforderungen in ausführbare und nachprüfbare Assertions auf Modell- und Code-Ebene.
AdaCore GNAT Pro 7.4
Ebenfalls auf der Embedded World 2016 stellt AdaCore eine neue Version seiner Ada-Entwicklungsumgebung GNAT Pro vor. GNAT Pro 7.4 enthält neue Funktionen, eine Reihe von Leistungsverbesserungen, zusätzliche Plattform-Unterstützung, darunter mehrere neue Embedded Targets, und viele andere Erweiterungen.
GNAT Pro umfasst einen vollständigen Ada-Compiler sowie integrierte Entwicklungsumgebungen – das GNAT Programming Studio (GPS) und die Eclipse-basierte GNATbench – und bietet damit ein umfassendes Toolset mit einem visuellen Debugger und einer umfangreichen Sammlung von Bibliotheken und Bindings.
GNAT Pro 7.4 unterstützt Windows 10 sowie mehrere neue Zielplattformen, insbesondere VxWorks 7 (ARM, e500v2, PPS, x86_64), VxWorks 653 3.0 und PikeOS (PowerPC). Zu den mehr als 120 neuen Funktionen gehören unter anderem:
• Erstellen von C-Headern aus Ada-Package-Spezifikationen
• Erkennen von ungültigen Speicherzugriffen über libsanitizer unter Linux
• Aktivierung der SSE-Floating-Point-Erweiterungen standardmäßig auf allen x86-nativen Ports
• Bessere Performance der Ada.Containers-Bibliothek, beispielsweise bei der Implementierung von "for ... of"-Schleifen und bei Iterationen
"Diese neue Version von GNAT Pro bringt eine Fülle neuer Funktionen und sie macht außerdem viele bestehende Werkzeuge robuster und einfacher", sagt Cyrille Comar, Präsident von AdaCore. "Ich möchte hier als Beispiel das Feature zur verteilten Kompilierung von GPRbuild hervorheben, das nun auch die Vorteile von Server-Farmen sowie Multicores nutzen kann. Fortgeschrittene Anwender berichten von außerordentlichen Zeiteinsparungen bei der Kompilierung von großen Anwendungen."
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
