L’environnement phare de développement en langage Ada répond à de
nouveaux besoins et couvre de nouveaux domaines
NEW YORK & PARIS & BURLINGTON, Mass.–(BUSINESS WIRE)–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
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany
ou
AdaCore
Europe
:
Emma Adby, +33 1 49 70 87 82
Responsable des Opérations
Marketing AdaCore
ou
Etats Unis :
Jessie Glockner,
+1-646-532-2723
Représentant des Relations Publiques AdaCore