AdaCore
Publié le 08-07-2019 par Francois Gauthier
L’américain Code Dx, basé à New York et fournisseur d'une solution de gestion de la sécurité des applications logicielles, va collaborer avec la firme franco-américaine AdaCore, spécialiste des outils de développement et de...
Publié le 03-06-2019 par Francois Gauthier
L’américain Hex Five Security, créateur de la technologie MultiZone, environnement d'exécution de confiance pour les architectures RISC-V, a rejoint le programme de partenariat d'AdaCore afin de permettre l'exécution sécurisée des applications...
Publié le 11-02-2019 par Pierrick Arlot
L’éditeur franco-américain d’outils de développement et de vérification pour les logiciels de systèmes critiques AdaCore a dévoilé qu’il collaborait avec Nvidia. Objectif de cette association : implémenter les langages...
Publié le 30-01-2019 par Francois Gauthier
AdaCore, éditeur d’outils de développement et de vérification pour les logiciels de systèmes critiques, vient de rejoindre la fondation RISC-V, organisation à but non lucratif dont l’objet est de normaliser et de promouvoir l'architecture de jeu...
Publié le 26-10-2018 par Francois Gauthier
La société franco-américaine AdaCore lance la 3e édition de son concours annuel de programmation “Make with Ada” qui invite les développeurs de solutions embarquées du monde entier à créer des applications embarquées...
Publié le 11-07-2018 par Francois Gauthier
La cybersécurité est un domaine très vaste, couvrant les facteurs humains, la conception de matériel, la sociologie et les questions juridiques, en plus de l'ingénierie logicielle. ...L’ouvrage en anglais écrit par Roderick Chapman et Yannick Moy de...
Publié le 19-06-2018 par Francois Gauthier
Lors de l’événement TU-Automotive Detroit qui s’est tenu la semaine dernière aux Etats-Unis, la société franco-américaine AdaCore a démontré comment ses environnements de développement et de vérification de logiciels...
Publié le 25-10-2017 par Francois Gauthier
C'est à l'occasion de la manifestation ARM TechCon qui se tient du 24 au 26 octobre 2017 à Santa Clara (Californie) que la société franco-américaine AdaCore a annoncé les gagnants de son second concours de programmation annuel baptisé "Make...
Publié le 15-05-2017 par Francois Gauthier
La société franco-américaine AdaCore lance la seconde édition de son concours annuel de programmation “Make with Ada” qui vise à populariser l’utilisation des langages de programmation Ada et Spark au sein de la communauté de...
Publié le 10-05-2017 par Francois Gauthier
La société AdaCore, spécialiste des outils et du langage Ada, vient de publier un livret gratuit, intitulé Implementation Guidance for the Adoption of Spark, dont l’objet est de mieux connaître la technologie de vérification formelle Spark/Ada....
Publié le 06-04-2017 par Francois Gauthier
A l’occasion de la conférence internationale Certification Together qui s’est tenue le 21 mars 2017 à Toulouse, la société franco-américaine AdaCore, spécialiste des outils de développement autour du langage Ada, a mis ...à...
Publié le 30-03-2017 par Francois Gauthier
Présentée officiellement lors de la conférence internationale Certification Together qui s’est tenue à Toulouse du 21 au 23 mars 2017, la collaboration entre d'un côté AdaCore, éditeur d’outils logiciels pour applications...
-fr.jpg)
Présentation
AdaCore est le principal éditeur de solutions de développement pour Ada, le langage de programmation spécifiquement conçu pour les projets logiciels de grande dimension et de longue durée dans lesquels la fiabilité, l’efficacité et la sécurité sont critiques. GNAT Pro, le produit phare d’AdaCore, comprend un ensemble complet d’outils : compilateur, débogueur, IDE, diverses blbliothèques, outils de vérification de mémoire, de couverture ou de test, kit de certification DO-178B, etc.
Fiche Entreprise
Date de création : 1994
Nationalité : France
Dirigeants : Franco Gasperoni (CEO), Cyrille Comar (managing director), Tucker Taft (director of language research)
Produits récents :