L'embarqué > AdaCore

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

Avec l’outil Spark Pro 16, AdaCore facilite l’usage de la vérification statique et des preuves formelles

Publié le 01 février 2016 à 12:26 par François Gauthier        

La société AdaCore, éditeur d’outils de développement et de vérification de logiciels critiques qui nécessitent de hauts niveaux de sécurité et/ou de sûreté, a profité de l’événement ERTS 2016, qui s’est déroulé à Toulouse fin janvier, ...

Partager
Lire

Lire les articles suivants