AdaCore
Publié le 13-06-2025 par Francois Gauthier
Chez les développeurs de logiciels de haute intégrité, notamment pour les systèmes embarqués, les candidats les plus courants en 2024, en termes de langages de programmation, incluent le C/C++, l’Ada/SPARK et le Rust. Cependant, dans de nombreuses...
Publié le 05-06-2025 par Francois Gauthier
AdaCore, éditeur franco-américain d’outils de développement et de vérification logiciels pour applications critiques, anonce la disponibilité opérationnelle des langages de programmation formelle Ada et Spark (*) sur le marché automobile, et ce...
Publié le 26-08-2024 par Francois Gauthier
AdaCore, éditeur franco-américain d’outils de développement et de vérification logiciels pour applications critiques, annonce sa participation au projet de recherche Scheme (Safety-Critical Harsh Environment Micro-processing Evolution), mené par la firme...
Publié le 24-06-2024 par Francois Gauthier
[EDITION ABONNES] Le consortium Safety-Critical Rust vient de voir le jour. Adoubé par la fondation Rust, déjà rallié par les sociétés Adacore, Arm, Ferrous Systems, OxidOS, Lynx Software, Synopsys, HighTec...
Réservé aux abonnés
Publié le 02-04-2024 par Francois Gauthier
Battery Ventures, société d'investissement américaine basée à Boston et focalisée sur les domaines technologiques, annonce avoir réalisé un investissement majeur dans la société franco-américaine AdaCore,...
Publié le 13-11-2023 par Francois Gauthier
L’organisme de certification allemand TÜV SÜD vient de délivrer le premier certificat de qualification pour un compilateur du langage Rust (*) destiné au développement d'applications logicielles dans l’automobile et répondant aux exigences les...
-blocks-basic-fr.jpg)
Publié le 25-08-2023 par Francois Gauthier
AdaCore, éditeur franco-américain d’outils de développement et de vérification logiciels pour applications critiques, propose dés maintenant aux utilisateurs de ces technologies la disponibilité en accès anticipé de l’environnement...
Publié le 03-04-2023 par Francois Gauthier
Avec la technologie logicielle innovante RecordFlux, AdaCore, éditeur d’outils de développement logiciel pour applications critiques, propose la possibilité de développer de manière sûre et démontrable des protocoles de communication sous forme...
Publié le 09-02-2023 par Francois Gauthier
Depuis une dizaine d’années le langage de programmation Rust se fraie un chemin dans la communauté des développeurs. Sa visibilité s'est accrue ces deux dernières années avec notamment l’annonce récente par la fondation Linux,...
Publié le 02-02-2022 par Francois Gauthier
L’éditeur d’outils de développement logiciel pour applications critiques AdaCore a décidé de travailler avec la jeune société allemande Ferrous Systems, créée en 2018 et spécialisée dans le langage de programmation...
Publié le 16-02-2021 par Francois Gauthier
Le fournisseur d’outils de développement et de vérification pour logiciels critiques AdaCore vient de réaliser l’acquisition pour un montant non divulgué de la société allemande Componolit afin, d’une part, d’augmenter ses...
Publié le 07-07-2020 par Francois Gauthier
[TRIBUNE de Anthony Aiello et Yannick Moy, ADACORE] Longtemps considérées comme peu pratiques ou trop chères, les méthodes formelles ont atteint aujourd’hui un degré de maturité élevé qui...
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 :