Select Language

AdaCore Releases New Versions of GNAT Pro, CodePeer, QGen and SPARK Pro

Annual major release of flagship products brings new platform support, other enhancements 

NUREMBERG, Germany, Embedded World Conference, March 14, 2017 -- AdaCore today announced the release of the latest version of its four major products:

  • GNAT Pro 17.1, a development environment for Ada and C, on native and cross platforms;
  • CodePeer 17.1, a deep static analysis tool for Ada that can identify bugs and vulnerabilities both during development and retrospectively on existing code bases;
  • QGen 17.1, a model-based development and verification toolset for Simulink® and Stateflow® models, which generates code in MISRA-C or SPARK; and
  • SPARK Pro 17.1, a verification environment that brings mathematics-based assurance to high-integrity software.

“Developing and verifying critical systems is a challenging task, especially when certification against software standards such as DO-178C or EN 50128 is required,” said Cyrille Comar, AdaCore President. “The latest version of our products will help organizations meet this challenge, through enhancements such as QGen’s model-level debugger and CodePeer’s detection of dangerous CWE weaknesses. Customers have long relied on AdaCore’s tools and services when producing safety-critical or high-security software, and our V17.1 product line marks a continuation of our commitment.”

GNAT Pro includes a full-featured build toolset for Ada and C, Integrated Development Environments (the GNAT Programming Studio (GPS) and the Eclipse-based GNATbench), a comprehensive suite of tools (a visual debugger, a coding standard checker, etc.), and an extensive set of libraries and bindings.  The GNAT Pro 17.1 release, based on GCC 6 and GDB 7.10, includes improved debugger support under GPS, a better algorithm for Ada elaboration order, enhancements to the GPRbuild multi-language build tool, better integration of GNATtest and GNATcoverage, an implementation of the extended Ravenscar profile on bare metal targets, and support for SMP on leon3. The supplemental GNATcoverage dynamic analysis tool has been upgraded with incremental coverage analysis, improved object code coverage, and support for ARM bare metal and native Windows (both 32- and 64-bit) platforms.

CodePeer is an Ada source code analyzer that detects run-time and logic errors, including a number of weaknesses among the Common Weakness Enumeration (CWE) Top 25 Most Dangerous Software Errors. CodePeer 17.1 provides improvements in the handling of “false alarms”, more precise diagnostic messages, and a variety of user interface enhancements. The tool has been designated as “CWE Compatible” in the MITRE Corporation’s Common Weakness Enumeration Compatibility and Effectiveness Program.

QGen is a qualifiable and tunable code generator and model verification toolsuite for a safe subset of Simulink® and Stateflow® models, particularly oriented towards real-time control software in safety-critical systems. QGen 17.1 includes a model-level debugger that is unique in the industry, allowing synchronized views and execution control between the model and the generated code. QGen 17.1 also includes support for Processor-in-the-Loop (PIL) testing, an enhanced user interface, improved code generation, and the implementation of additional blocks.

SPARK Pro is an integrated static analysis toolsuite for verifying high-integrity software through formal methods. It supports the SPARK 2014 language and can be used at various levels, for example to demonstrate the absence of run-time errors. SPARK uses the same contract-based programming syntax as Ada 2012, facilitating “hybrid verification” that combines traditional testing and formal methods. SPARK Pro 17.1 brings improved proof automation and enhanced proof interaction (including the generation of counterexamples).

Availability
All V17.1 products are available now. For pricing, specific platform details or other information please contact info@adacore.com


About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, rail systems, military systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

EU:
Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82

US:
Jessie Glockner
AdaCore Public Relations Representative
+1-646-532-2723

AdaCore aktualisiert seine Produktlinien

Paris, 14. März 2017 - AdaCore hat die neuesten Versionen seiner vier wichtigsten Produkte vorgestellt: GNAT Pro 17.1, die Entwicklungsumgebung für Ada und C auf nativen und Cross-Plattformen, CodePeer 17.1, ein statisches Analyse-Tool für Ada, QGen 17.1, das modellbasierte Entwicklungs- und Verifikations-Toolset, und SPARK Pro 17.1, ein Verifikationstool für hochintegrierte Software.

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 MITER Corporation ausgezeichnet.

QGen ist eine qualifizier- und anpassbare Software zur Code-Generierung und Modellverifizierung für eine sichere Teilmenge von Simulink- und Stateflow-Modellen; sie ist besonders auf Echtzeit-Steuerungssoftware 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 unserer 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

Diese Presseinformation kann unter
www.pr-com.de/adacore abgerufen werden.

Ü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

AdaCore lance les nouvelles versions de GNAT Pro, CodePeer, QGen & SPARK Pro

La mise à jour annuelle de ses quatre produits phares comportera une meilleure prise en charge des plates-formes parmi ses nombreuses améliorations

NUREMBERG, Allemagne, Conférence Embedded World, le 14 mars 2017 -– AdaCore annonce le lancement de la dernière version de ses quatre produits phares :

  • GNAT Pro 17.1, un environnement de développement pour Ada et C pour plates-formes natives et embarquées ;
  • CodePeer 17.1, un outil d’analyse statique puissant pour Ada capable d’identifier les anomalies et vulnérabilités aussi bien au cours du développement que rétrospectivement sur des bases de codes existantes ;
  • QGen 17.1, un ensemble d’outils de développement et de vérification basé sur les modèles pour les modèles Simulink® et Stateflow®, permettant de générer du code en MISRA-C ou en SPARK ; et
  • SPARK Pro 17.1, un environnement de vérification apportant une assurance basée sur les mathématiques à des logiciels de haute intégrité.

“Le développement et la vérification de systèmes critiques constitue un véritable défi, en particulier lorsqu’une certification basée sur des normes logicielles telles que DO-178C ou EN 50128 est exigée”, a commenté Cyrille Comar, Président d’AdaCore. “La dernière version de nos produits va permettre d’aider les entreprises à relever ce défi, grâce à des améliorations telles que le débogueur basé sur les modèles QGen ou encore la détection par CodePeer de vulnérabilités répertoriées au CWE. Depuis de nombreuses années, les clients font confiance aux produits et services d’AdaCore au moment de produire des logiciels critiques ou de haute sécurité, et notre ligne de produits V17.1 s’inscrit dans la continuité de notre engagement.”

GNAT Pro inclut des outils complets pour les langages Ada et C, des Environnements de Développement Intégrés (GNAT Programming Studio (GPS) et GNATbench basé sur la plate-forme Eclipse), une suite complète d’outils (un débogueur visuel, un vérificateur de normes de codage, etc.) ainsi qu’une série de bibliothèques et de bindings.  La version GNAT Pro 17.1, basée sur GCC 6 et GDB 7.10, se compose d’un support de débogage amélioré sous GPS, d’un meilleur algorithme pour l’ordre d’élaboration des unités en Ada, d’améliorations apportées à l’outil de développement multi-langages GPRbuild, une meilleure intégration de GNATtest et GNATcoverage, la mise en place d’un profil étendu Ravenscar pour les cibles sans système d’exploitation et un support pour SMP sur leon3. L’outil d’analyse dynamique GNATcoverage a été agrémenté d’une analyse de couverture incrémentielle, d’une couverture du code objet améliorée et d’un support pour les plates-formes ARM sans système d’exploitation et Windows native (aussi bien 32- que 64-bit).

CodePeer est un outil d’analyse de code source Ada permettant de détecter des erreurs d’exécution et de logique, y compris un certain nombre de vulnérabilités classées parmi les 25 erreurs logicielles les plus dangereuses répertoriées au CWE (Common Weakness Enumeration). CodePeer 17.1 propose des améliorations dans la gestion des « fausses alertes », des messages de diagnostic plus précis ainsi qu’une multitude d’améliorations apportées à l’interface utilisateur. L’outil a été conçu comme étant “Compatible CWE ” conformément au Programme de Compatibilité et d’Efficacité ‘Common Weakness Enumeration’ de la MITRE Corporation.

QGen est une suite d’outils qualifiable et personnalisable permettant de générer du code et de vérifier des modèles pour un sous-ensemble sûr de modèles Simulink® et Stateflow®, particulièrement orientés vers les logiciels de contrôle en temps réel pour des systèmes critiques. QGen 17.1 inclut un débogueur basé sur les modèles unique dans l’industrie, qui permet d’obtenir des vues synchronisées et un contrôle d’exécution entre le modèle et le code généré. QGen 17.1 offre également un support pour les tests Processor-in-the-Loop (PIL), une interface utilisateur enrichie, une génération de code améliorée et le support de blocs supplémentaires.

SPARK Pro est une boîte à outils d'analyse statique intégrée pour la vérification de logiciels hautement critiques par le biais de méthodes formelles. Elle prend en charge le langage SPARK et peut être utilisée à différents niveaux, par exemple pour démontrer l’absence d’erreurs d’exécution. SPARK utilise la même syntaxe de programmation par contrat qu’Ada 2012, facilitant une “vérification hybride” combinant des tests traditionnels à des méthodes formelles. SPARK Pro 17.1 apporte une meilleure automatisation des preuves et une interaction entre les prouveurs améliorée (y compris la génération de contre-exemples).

Disponibilité
Tous les produits V17.1 sont disponibles dès à présent. Pour obtenir de plus amples informations sur les tarifs et les plates-formes prises en charge, veuillez contacter info@adacore.com

A propos d’AdaCore
Fondée en 1994, AdaCore fournit des outils de développement et de vérification de logiciels destinés à des applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. L'utilisation des produits d’AdaCore connaît une croissance continue dans des applications critiques telles que les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux ou les services financiers. AdaCore jouit d’une base fournie de clients internationaux en croissance constante; visitez le site www.adacore.com/customers/ pour de plus amples informations.

Les produits AdaCore sont libres et accompagnés d’un support expert en ligne fourni par les développeurs eux-mêmes. La société possède un siège nord-américain basé à New York et un siège européen basé à Paris. www.adacore.com

Contacts Presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

Europe:
Emma Adby
Responsable des Opérations Marketing AdaCore
+33 1 49 70 87 82

Etats Unis:
Jessie Glockner
Représentant des Relations Publiques AdaCore +1-646-532-2723