L'embarqué > AdaCore

AdaCore

L'Embarque Tribune AdaCore

"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
Concours Make with Ada

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

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
AdaCore

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
AdaCore Make with Ada

AdaCore lance le concours “Make with Ada”

Publié le 15 mai 2017 à 12:12 par François 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 l’embarqué pour améliorer la qualité du code logiciel. ...

Partager
Lire

Lire les articles suivants