AdaCore V18.1 bringt neue Lösungen für Softwareentwicklung und -verifizierung
(IINews) - Paris, 31. Januar 2018 – AdaCore, Spezialist für Softwareentwicklungs- und -verifikations-Tools stellt Version 18.1 von GNAT Pro, CodePeer, SPARK Pro und QGen vor. Diese neueste Version erweitert die robuste und funktionsreiche Software-Suite um neue Tools und Funktionen und bedeutet die erste Veröffentlichung von GNAT Pro für drei verschiedene Produktlinien: GNAT Pro Assurance, GNAT Pro Enterprise und GNAT Pro Developer.
Die Ada-Entwicklungsumgebung GNAT Pro bietet mit Version 18.1 neue Tools, verbesserte Code-Effizienz, mehrere neue Targets und eine Vielzahl von Compiler-Erweiterungen. Alle GNAT-Pro-Abonnements enthalten jetzt die Verifikationstechnologie SPARK Discovery sowie GNAT Pro Assurance; GNAT Pro Enterprise stellt außerdem das GNATstack-Stack-Analysetool von AdaCore zur Verfügung.
Die GNAT Pro Tool Suite bietet GPRbuild Projekt Tool Upgrades, neue Regeln im Codierungs-Standard-Checker GNATcheck, GNATcoverage-Unterstützung für Lauterbach-Probes und neue Optionen im GNATtest Unit Testing Framework. Die integrierte Entwicklungsumgebung (IDE) GNAT Programming Studio (GPS) bietet mehr Performance und Verbesserungen der Benutzeroberfläche, einschließlich Verbesserungen der C/C++-Navigationsengine; GNATbench unterstützt Eclipse 4.8 Oxygen und Wind River Workbench 4.12.
CodePeer, das CWE-kompatible statische Analysetool für Ada, bietet eine verbesserte Performance, eine einfachere Analyse von Non-GNAT-Code, weniger "False Positives" und die Integration von GNAT-Warnungen in den Tool-Output. Ein aktualisiertes Kit für die Werkzeugqualifizierung für DO-178C ist auch für CodePeer 18.1 verfügbar; es deckt zusätzliche Ada-Konstrukte einschließlich Exceptions, Access Types und generische Units ab.
Die formale Verifikationsumgebung SPARK Pro, die von AdaCore und seinem Partner Altran gemeinsam entwickelt wurde, hat den Units in der vordefinierten Umgebung Contracts hinzugefügt und die Automatisierung der Beweise verbessert. SPARK Pro 18.1 ermöglicht Benutzern auch die Durchführung interaktiver Beweise in GPS.
QGen, AdaCores qualifiziertes Toolkit für modellbasierte Entwicklung, das SPARK und MISRA C generiert, wurde um einen Kompatibilitätsprüfer erweitert, um die Konformität von Beispielmodellen mit der unterstützten sicheren Teilmenge von Simulink/Stateflow-Modellen zu überprüfen. QGen 18.1 implementiert auch mehrere neue Blöcke und unterstützt Simulink/Stateflow-Versionen bis 2017b.
"Die Spezialisierung von GNAT Pro für drei Produktlinien ist einer der wichtigsten neuen Aspekte dieser Version, die es uns ermöglicht, unser Tool-Set und unsere Services auf die unterschiedlichen Benutzerbedürfnisse auszurichten", erklärt Cyrille Comar, President von AdaCore. "Zum Beispiel enthält die Produktlinie GNAT Pro Assurance einen Dienst für Umgebungen, in denen eine Werkzeugaktualisierung sehr heikel sein kann und wo Werkzeugfehler – ''known problems'' – genau beschrieben und aktiv verwaltet werden müssen."
Seit mehr als 20 Jahren stellt AdaCore Produkte und Dienstleistungen bereit, die Entwicklern bei der Entwicklung von sicherer, zuverlässiger und hochintegrierter Software helfen. AdaCores GNAT Pro, CodePeer, SPARK Pro und QGen sind Softwareentwicklungs- und -verifikationswerkzeuge, die sich für sicherheitskritische, hochsichere und unternehmenskritische Anwendungen in einer wachsenden Anzahl von Märkten eignen, so für Luftfahrt und Verteidigung, Automobil, Energie, Medizin, Eisenbahn oder das Internet der Dinge (IoT).
Eine komplette Übersicht über die neuen und verbesserten Features der Version 18.1 ist auf folgenden Webseiten verfügbar:
• GNAT Pro base technology – http://docs.adacore.com/R/relnotes/features-18
• GPS and GNATbench IDEs – http://docs.adacore.com/R/relnotes/features-gps-18
• GPR library and tools – http://docs.adacore.com/R/relnotes/features-gprbuild-18
• CodePeer – http://docs.adacore.com/R/relnotes/features-codepeer-18
• SPARK Pro – http://docs.adacore.com/R/relnotes/features-spark-18
• QGen – http://docs.adacore.com/R/relnotes/features-qgen-18
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Themen in diesem Fachartikel:
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
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 31.01.2018 - 15:17 Uhr
Sprache: Deutsch
News-ID 1575765
Anzahl Zeichen: 0
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49 (0) 89 59997 803
Kategorie:
Internet
Anmerkungen:
Dieser Fachartikel wurde bisher 168 mal aufgerufen.
Der Fachartikel mit dem Titel:
"AdaCore V18.1 bringt neue Lösungen für Softwareentwicklung und -verifizierung
"
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).