L'embarqué > AdaCore

AdaCore

AdaCore se renforce dans la cybersécurité en rachetant la firme allemande Componolit

Publié le 16 février 2021 à 13:04 par François 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 compétences dans le domaine de la cybersécurité et des méthodes formelles et, d’autre part, de renforcer ses activités sur le marché allemand....

Partager
Lire

"Les méthodes formelles sont désormais incontournables pour vérifier complètement les logiciels critiques"

Publié le 07 juillet 2020 à 09:55 par François 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 leur permet de répondre aux normes de fiabilité les plus élevées pour le développement de logiciels critiques. Comme le détaillent ici Anthony Aiello et Yannick Moy, experts sur l'utilisation des méthodes formelles chez AdaCore, avec un white paper complet sur ce sujet à télécharger....

Partager
Lire

AdaCore annonce les gagnants du 4e concours annuel “Make with Ada”

Publié le 06 mars 2020 à 11:32 par Pierrick Arlot        

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 de manière significative la qualité du code pour les systèmes embarqués modernes...

Partager
Lire

Ecosystème RISC-V : l’environnement d’exécution sécurisé de Hex Five disponible pour les solutions d’AdaCore

Publié le 03 juin 2019 à 12:38 par François 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 écrites en Ada sur des processeurs RISC-V.....

Partager
Lire

Conduite automatisée : certaines puces-systèmes Nvidia vont migrer vers le RISC-V et les langages Ada et Spark

Publié le 11 février 2019 à 12:49 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 de programmation Ada et Spark dans des logiciels spécifiques de bas niveau critiques ...

Partager
Lire

Les outils de développement de logiciels système sûrs d’AdaCore se frottent à l’automobile

Publié le 19 juin 2018 à 07:39 par François 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 pour des applications critiques de sécurité peuvent rationaliser la production et la vérification de logiciels sûrs ...

Partager
Lire

Lire les articles suivants