AdaCore

AdaCore Qualification Compilateur Rust
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...

AdaCore GNAT for Rust
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...

AdaCore RecordFlux
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...

Rust Fondation AdaCore
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,...

AdaCore Ferrous Systems Rust
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...

AdaCore rachète Componolit
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...


L'Embarque Tribune AdaCore
[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...

Concours Make with Ada
AdaCore annonce les gagnants de son quatrième concours annuel de programmation Make with Ada qui tourne autour de projets intégrés de systèmes embarqués. Ce challenge vise à montrer comment les technologies de langage Ada et Spark peuvent améliorer...

AdaCore, éditeur de solutions de développement pour le langage Ada spécifiquement conçues pour les projets critiques, lance la 4e édition de son concours de programmation “Make with Ada”. Destinée aux passionnés et aux nouveaux...

AdaCore CodeDX
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...

Hex-Five AdaCore
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...

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...