Suche   Â
AdaCore stellt neue Versionen der Ada-Werkzeuge QGen und GNAT Pro vor
ID: 1324398
(firmenpresse) - 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.
Unternehmensinformation / Kurzprofil:
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
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Romana Redtenbacher
romana.redtenbacher(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-761
  
  
  
Datum: 23.02.2016 - 11:58 Uhr
Sprache: Deutsch
News-ID 1324398
Anzahl Zeichen: 4162
Kontakt-Informationen:
Ansprechpartner: Romana Redtenbacher
Stadt:
Paris
Telefon: +49-89-59997-761
Kategorie:
Internet
Meldungsart: Produktinformation
Versandart: Veröffentlichung
Freigabedatum: 23.02.2016
Diese Pressemitteilung wurde bisher 0 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore stellt neue Versionen der Ada-Werkzeuge QGen und GNAT Pro vor"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).