L'embarqué > AdaCore

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

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

Les vainqueurs du concours sur les développements Ada et Spark sur ARM Cortex-R/M sont connus

Publié le 30 novembre 2016 à 12:24 par François Gauthier        

La société franco-américaine AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, a profité du congrès sur les logiciels embarqués ESE Kongress, qui se déroule à Sindelfingen ...

Partager
Lire

Lire les articles suivants