AdaCore
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...
Publié le 30-11-2016 par Francois Gauthier
La société franco-américaine AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, a profité du congrès sur les logiciels embarqués ESE Kongress, qui se...
Publié le 21-06-2016 par Francois Gauthier
La société franco-américaine AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, lance un concours international de développement baptisé “Make with Ada” ...afin de populariser...
Publié le 22-03-2016 par Francois Gauthier
La société franco-américaine AdaCore, éditeur d’outils de développement et de vérification pour des logiciels à fortes contraintes de sûreté de fonctionnement, vient de faire évoluer son récent outil QGen, introduit...
Publié le 01-02-2016 par Francois Gauthier
La société AdaCore, éditeur d’outils de développement et de vérification de logiciels critiques qui nécessitent de hauts niveaux de sécurité et/ou de sûreté, a profité de l’événement ERTS 2016,...
Publié le 02-09-2015 par Francois Gauthier
AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, annonce la mise à disposition gratuite sur son site d’une version de son compilateur Ada en open source GNAT GPL pour la carte ...de prototypage Raspberry Pi 2. Carte sur...
Publié le 26-02-2015 par Francois Gauthier
Le franco-américain AdaCore a profité du salon Embedded World qui se tient cette semaine à Nuremberg pour annoncer la sortie de l'outil Qgen 1.0 qui est à la fois un générateur de code qualifiable et un vérificateur de modèles ...écrits...
Publié le 21-01-2015 par Francois Gauthier
Le lundi 2 février prochain marquera le lancement opérationnel du laboratoire de recherche ProofInUse, fruit d’une collaboration étroite entre l’Inria, plus spécifiquement l’équipe de recherche Toccata spécialisée dans ...les...
Publié le 16-01-2015 par Pierrick Arlot
La version de développement 0.6 du micronoyau open source à très haut niveau de sécurité et de fiabilité Muen Separation Kernel est désormais compatible avec la technologie Spark 2014. C’est ce que viennent de confirmer...
Publié le 28-10-2014 par Francois Gauthier
CodePeer, l’outil d’analyse de code statique pour le langage Ada édité par la société Adacore, est désormais qualifié comme outil de vérification pour les projets de développement de code critique dans l’avionique,...
Réservé aux abonnés
Publié le 20-12-2013 par Francois Gauthier
La société AdaCore et l’Institut ITA (Internet Technologies and Applications) de l’Université des sciences appliquées de Rapperswil (Suisse) annoncent une évolution, jugée significative, des modèles logiciels open source ...dans le...
Réservé aux abonnés
-blocks-basic-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 :