AdaCore stellt neue Versionen der Ada-Werkzeuge QGen und GNAT Pro vor
ID: 1324398
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.
Weitere Infos zu dieser Pressemeldung:
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 569 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).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
Toshiba kündigt neue hochleistungsfähige SATA-SSDs für Unternehmen und Rechenzentren an ...
Neue Laufwerke der HK4-Serie sind die ersten Enterprise-SSDs von Toshiba mit 15-nm-MLC-NAND-Flashspeicher. Düsseldorf, 23. Februar 2016 – Toshiba Electronics Europe (TEE) stellt mit der HK4-Serie neue Enterprise-SATA-SSDs mit 6,0 Gbit/s für leseintensive und Value-Endurance-Workloads vor. Sie
WDR-Internetangebot komplett neu: Homepage passt sich an Endgeräte der Nutzer an / Neue thematische Sortierung ...
Mit einem komplett überarbeiteten Internet-Angebot (wdr.de) präsentiert sich der WDR seit heute Morgen (23. Februar) im Internet. Der Relaunch bringt im Kern zwei wesentliche Neuerungen: die Umstellung auf das sogenannte responsive Design und eine völlig neue inhaltliche Struktur, die sich s
1LIVE Hörsaal-Comedy: Zum Lachen in die Uni gehen ...
Zum sechsten Mal kommt 1LIVE mit Deutschlands besten Comedy-Newcomern an die Unis im Sektor. Premiere der 1LIVE Hörsaal-Comedy ist am 23. April 2016 an der Uni Paderborn, das Finale findet am 10. Juni 2016 an der Hochschule Ruhr West in Mülheim an der Ruhr statt. Mit dabei sind Tahnee, Faisal
SDC Ventures GmbH geht in die Offensive - Relaunch des erfolgreichen Startups MySugardaddy ...
Gut sechs Jahre nach dem Startschuss geht die SDC Ventures GmbH mit Ihrem Aushängeschild, der Onlinedating-Community MySugardaddy.eu, in die nächste Phase. Waren es in den Anfangszeiten noch an die 1000 User, nutzen mittlerweile über 120.000 Männer und Frauen die Community, um einen Partner nach
