Kunden-News

14. Mrz 2017

AdaCore aktualisiert seine Produktlinien

GNAT Pro verfügt über ein voll funktionsfähiges Build-Toolset für Ada und C, eine integrierte Entwicklungsumgebung – das GNAT Programming Studio (GPS) und die Eclipse-basierte GNATbench –, eine Suite von Tools, unter anderem mit einem visuellen Debugger und einem Coding Standard Checker, sowie umfangreiche Bibliotheken und Bindings. Das Release GNAT Pro 17.1 basiert auf GCC 6 und GDB 7.10 und bietet eine verbesserte Debugger-Unterstützung unter GPS, einen besseren Algorithmus für die Ada Elaboration Order, eine Erweiterung des Multi-Language-Tools GPRbuild, eine bessere Integration von GNATtest und GNATcoverage, eine Implementierung des erweiterten Ravenscar-Profils für Bare-Metal-Targets und Unterstützung für SMP auf Leon3. Das ergänzende Tool GNATcoverage Dynamic Analysis wurde um die inkrementelle Coverage-Analyse, verbesserte Objektcode-Abdeckung und Unterstützung für ARM Bare Metal und native Windows (32- und 64-Bit)-Plattformen aktualisiert.

CodePeer ist ein Ada-Quellcode-Analysator, der Laufzeit- und Logikfehler erkennt, einschließlich diverser Schwächen unter den Common Weakness Enumeration (CWE) Top 25 Most Dangerous Software Errors. Die neue Version CodePeer 17.1 bietet Verbesserungen bei der Handhabung von "False Alarms", genauere Diagnosemeldungen und zahlreiche Verbesserungen der Benutzeroberfläche. Das Tool wurde als "CWE Compatible" im Commonweakness Enumeration Compatibility and Effectiveness Programm der MITRE Corporation ausgezeichnet.

QGen ist eine qualifizier- und anpassbare Software zur Code-Gene­rierung und Modellverifizierung für eine sichere Teilmenge von Simulink- und Stateflow-Modellen; sie ist besonders auf Echtzeit-Steuerungs­soft­ware in sicherheitskritischen Systemen ausgerichtet. Die Version QGen 17.1 umfasst einen einzigartigen Modell-Level-Debugger, der synchronisierte Views und Ausführungs-Controls zwischen dem Modell und dem generierten Code ermöglicht. QGen 17.1 beinhaltet außerdem die Unterstützung von Processor-in-the-Loop (PIL)-Tests, eine verbesserte Benutzeroberfläche, eine bessere Codegenerierung und die Implementierung zusätzlicher Blöcke.

SPARK Pro ist eine integrierte statische Analyse-Toolsuite für die Überprüfung von High-Integrity-Software durch formale Methoden. Die Lösung unterstützt die Programmiersprache SPARK 2014 und kann auf verschiedenen Ebenen verwendet werden, zum Beispiel um das Fehlen von Laufzeitfehlern zu demonstrieren. SPARK verwendet dieselbe vertragsbasierte Programmiersyntax wie Ada 2012 und erleichtert die "Hybrid-Verifikation", die traditionelle Tests und formale Methoden vereint. SPARK Pro 17.1 verfügt über eine verbesserte Proof-Automatisierung und eine verbesserte Proof-Interaktion einschließlich der Generierung von Gegenbeispielen.

"Entwicklung und Test kritischer Systeme sind eine anspruchsvolle Aufgabe, vor allem, wenn die Zertifizierung nach Software-Standards wie DO-178C oder EN 50128 erforderlich ist", sagt Cyrille Comar, President von AdaCore. "Die neueste Version unserer Produkte hilft Unternehmen, diese Herausforderung besser zu meistern. Die Anwender können sich bei der Herstellung von sicherheitskritischer Software auf die Tools und Services von AdaCore verlassen, und unsere neue Produktlinie V17.1 zeigt, dass wir unser Engagement hier kompromisslos fortführen."

Verfügbarkeit

Alle V17.1-Produkte sind ab sofort verfügbar. Preise, Plattformdetails oder andere Informationen finden sich unter info@adacore.com

Ü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
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803