Publié le 08 juillet 2019 à 13:08 par François Gauthier
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 vérification pour les langages de programmation Ada, C et C++. ...
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.....
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 ...
Publié le 30 janvier 2019 à 11:57 par François Gauthier
AdaCore, éditeur d’outils de développement et de vérification pour les logiciels de systèmes critiques, vient de rejoindre la fondation RISC-V, organisation à but non lucratif dont l’objet est de normaliser et de promouvoir l'architecture de jeu d'instructions RISC-V, libre de droits et ouverte....
Publié le 26 octobre 2018 à 13:01 par François Gauthier
La société franco-américaine AdaCore lance la 3e édition de son concours annuel de programmation “Make with Ada” qui invite les développeurs de solutions embarquées du monde entier à créer des applications embarquées innovantes en utilisant les langages de programmation Ada et Spark....
Publié le 11 juillet 2018 à 12:02 par François Gauthier
La cybersécurité est un domaine très vaste, couvrant les facteurs humains, la conception de matériel, la sociologie et les questions juridiques, en plus de l'ingénierie logicielle. ...
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 ...
Publié le 25 octobre 2017 à 11:47 par François Gauthier
C'est à l'occasion de la manifestation ARM TechCon qui se tient du 24 au 26 octobre 2017 à Santa Clara (Californie) que la société franco-américaine AdaCore a annoncé les gagnants de son second concours de programmation annuel baptisé "Make with Ada" pour les projets embarqués. ...
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. ...
Publié le 10 mai 2017 à 09:19 par François Gauthier
La société AdaCore, spécialiste des outils et du langage Ada, vient de publier un livret gratuit, intitulé Implementation Guidance for the Adoption of Spark, dont l’objet est de mieux connaître la technologie de vérification formelle Spark/Ada. ...
Publié le 06 avril 2017 à 07:44 par François 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 mars 2017 à 10:04 par François 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 critiques ...