AdaCore lance ses nouvelles lignes de produits GNAT Pro

L’environnement phare de développement en langage Ada répond à de nouveaux besoins et couvre de nouveaux domaines

NEW YORK et PARIS et BURLINGTON, Mass., le 15 Novembre 2017 – AdaCore Tech Days – En réponse aux exigences en constante évolution de nos clients existants et l’intérêt croissant porté à Ada par des domaines d’application traditionnellement basés en C, AdaCore annonce aujourd’hui le lancement de trois lignes de produits pour sa technologie GNAT Pro :

GNAT Pro Enterprise, un environnement riche en fonctionnalités supportant le développement industriel de logiciels indispensables à une mission ;
GNAT Pro Assurance, une extension de GNAT Pro Enterprise destinée à des utilisateurs ayant des exigences en matière de certifications logicielles ou nécessitant une plateforme de développement stable maintenue (avec des corrections apportées à des problèmes critiques) tout au long d’un projet de longue durée ; et
GNAT Pro Developer, destiné aux nouveaux utilisateurs d’Ada désireux de bénéficier des qualités du langage pour le génie logiciel et la détection précoce des erreurs.

GNAT Pro Enterprise combine et remplace les produits existants GNAT Pro natifs/croisés et GNAT Pro Ada Safety-Critical. Il supporte toutes les versions de la norme du langage Ada et inclut une boîte à outils complète (outil de débogage visuel, environnements de développement GNAT Programming Studio et GNATbench, divers outils d’analyse statique, un orchestrateur de construction multi-langages et bien plus encore), ainsi qu’un support en ligne de premier ordre fourni par les développeurs du produit eux-mêmes.

GNAT Pro Assurance enrichit GNAT Pro Enterprise d’un nouveau service connu sous le nom de « branches maintenues », qui permet aux clients de continuer à utiliser une version spécifique d’une technologie sur l’ensemble de la durée de leur abonnement tout en bénéficiant de corrections apportées à des problèmes de génération de code. GNAT Pro Assurance fournit également de façon optionnelle un ensemble de services de certifications logicielles tels que du matériel de certification pour des bibliothèques d’exécution de haute intégrité.

GNAT Pro Developer est une nouvelle ligne de produits offrant une solution d’entrée de gamme pour les programmeurs désirant bénéficier des nombreux avantages d’Ada 2012, y compris la programmation basée sur les contrats, un typage fort, un support pour la programmation de bas niveau, des modèles génériques avec typage sûr, ainsi que des fonctions de concurrence structurée. Le produit est particulièrement adapté aux programmeurs en C et C++ réalisant des systèmes embarqués à faible empreinte et cherchant une transition simple vers un langage plus fiable.

Tous les produits GNAT Pro incluent SPARK Discovery, une suite d’outils pour les méthodes formelles permettant aux développeurs de démontrer avec une rigueur mathématique certaines propriétés du programme allant de la sécurité du flux de données à l’absence d’erreurs d’exécution.

« Le remaniement de la ligne de produits GNAT Pro constitue une étape naturelle de la croissance et de l’évolution de notre technologie Ada, permettant de simplifier les choses pour nos clients tout en leur apportant de nouveaux avantages », a commenté Jamie Ayre, Directeur Commercial chez AdaCore. « Toute personne utilisant actuellement GNAT Pro peut poursuivre avec GNAT Pro Enterprise ou encore passer à GNAT Pro Assurance si elle a des exigences de certification ou besoin de support à long terme sur une version spécifique de la technologie. Quant aux nouveaux utilisateurs d’Ada, GNAT Pro Developer constituera un moyen avantageux de démarrer et de devenir productif avec Ada. »

« AdaCore a toujours perçu les bénéfices d’Ada en tant que langage alternatif pour la programmation de systèmes embarqués auprès de ses clients dans des domaines d’application aussi divers que le matériel médical ou le contrôle des procédés industriels », a indiqué Quentin Ochem, Directeur du Business Development at AdaCore. « Mais la réelle nouveauté réside dans la récente et significative augmentation du nombre de demandes émanant de ces domaines et d’autres, y compris les drones et les véhicules autonomes / à conduite assistée. GNAT Pro Developer constitue notre premier pas vers l’intégration de cette vague de nouveaux utilisateurs de la technologie Ada. »

GNAT Pro Assurance, GNAT Pro Enterprise, et GNAT Pro Developer sont disponibles dés à présent ; merci de contacter info@adacore.com pour toute demande de devis, d’informations concernant le support des plateformes ou pour tout autre renseignement sur ces produits.

A propos d’AdaCore

Fondée en 1994, AdaCore conçoit et 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. Quatre produits phares composent l’offre de la société :

GNAT Pro, l’environnement de développement pour Ada, une boîte à outils complète pour concevoir, mettre en œuvre et gérer des applications requérant un niveau élevé de fiabilité et de maintenabilité,
L’outil d’analyses statistiques avancées CodePeer, un réviseur et validateur automatique de code Ada capable de détecter et d’éliminer les erreurs aussi bien au cours du développement que rétrospectivement sur des logiciels existants,
L’environnement de développement SPARK Pro, un ensemble d’outils basés sur des méthodes formelles et orientés systèmes à niveau d’assurance élevé, et
L’outil de développement basé sur les modèles QGen, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink^® et Stateflow^® destiné aux systèmes de contrôle critiques.

L'utilisation des produits 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