Kunden-News

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."

Ü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
Romana Redtenbacher
romana.redtenbacher@pr-com.de
www.pr-com.de
Tel. +49-89-59997-761