ADACORE
46 rue d\'Amsterdam
75009 PARIS
Présent au salon

Paris Open Source Summit

-
VOIR LE SITE DU SALON >
iconOPEN SOURCE

Présentation
-

AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, a lancé en juin un concours international de développement baptisé “Make with Ada” afin de populariser l’usage des langages de programmation Ada et SPARK, dont nous sommes l'un des grands promoteurs dans le monde. La compétition qui s’est déroulée jusqu’au 30 septembre, a été un succès avec la soumission de 38 projets sur une cible matérielle basée sur un cœur ARM Cortex-R ou -M, autour de sujets aussi différents que la robotique, le médical, les communications, etc. (voir les projets ici : http://www.makewithada.org/entries). Les vainqueurs sélectionnés par un jury international de personnalités du monde de l’embarqué en novembre 2016 recevront 8 000 euros de prix.

Cette compétition a été une excellente occasion pour les développeurs d'essayer une nouvelle technologie et de montrer leur imagination et leurs talents de programmation. Ada est plus connu pour son utilisation dans des grands systèmes à très longue durée de vie, mais c’est également un langage adapté pour la programmation de systèmes embarqués de petite taille, comme démontré par les projets soumis.

À l’occasion du POSS, nous présenterons les projets soumis les plus intéressants, ainsi que des démonstrateurs créés à AdaCore avec les langages de programmation Ada et SPARK, dans le but de donner à d’autres l’envie et les moyens de développer de façon sûre des applications embarquées pour cible ARM.

Produits
-

Quatre produits phares sont au cœur des offres de la société AdaCore :

  • L’environnement de développement GNAT Pro pour Ada, un ensemble complet d’outils pour la conception, la mise en œuvre et la gestion d’applications exigeant une haute fiabilité notamment pendant la phase de maintenance,
  • L’outil d’analyse statique avancé CodePeer, un outil d’analyse et de validation automatique d’Ada susceptible de détecter et d’éliminer les erreurs tant au cours du développement que rétrospectivement sur les logiciels existants,
  • L’environnement de vérification SPARK Pro, un ensemble d’outils fondé sur des méthodes pour les systèmes très critiques, et
  • L’outil QGen pour le développement basé sur les modèles, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink® et Stateflow®, conçu pour les systèmes de contrôle critiques.

Au fil des années, nos clients ont utilisé les produits d’AdaCore pour établir et entretenir un large éventail d’applications critiques dans des domaines comme les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, la gestion et le contrôle du trafic aérien, les systèmes ferroviaires, les dispositifs médicaux et les services financiers. AdaCore dispose d’une large clientèle internationale en constante expansion ; rendez-vous sur www.adacore.com/customers/ pour plus d’informations.

Les produits d’AdaCore sont open source et sont fournis avec une assistance en ligne assurée par les développeurs experts eux-mêmes.

Structure
-

  • Effectif : 50 à 99 salariés
  • Chiffre d’affaire :
  • Information administrative et juridique : nc

Contact
-

ADACORE
46 rue d\'Amsterdam
75009 PARIS
Weyou Group

Tous droits réservés, Weyou Group, 2016 I Mentions légales

Presentation ADACORE sur Mon Annuaire Pro.com