Le membre

ADACORE

Présentation

Adresse :
46 Rue D Amsterdam
Ville :
75009, PARIS
Téléphone :
01 49 70 67 16
Organisation :
PME
Activité :
La vision d’AdaCore est la création d’une solution 100% libre pour la certification de logiciels critiques dans l’aéronautique, le spatial et le transport

AdaCore est un éditeur français indépendant de logiciel libre. AdaCore est le principal éditeur de solutions de développement pour les différentes versions du langage Ada, un langage de programmation spécifiquement conçu pour les projets logiciels de grande dimension et de longue durée dans lesquels la fiabilité, l’efficacité et la sécurité sont critiques. GNAT Pro, le produit phare d’AdaCore, comprend un ensemble complet d’outils de développement (compilateur, debugger, IDE, diverses bibliothèques, outils de vérification de mémoire, de couverture, de test, kit de certification DO-178B, …). AdaCore propose également des outils de preuve formelle (SPARK, en partenariat avec Altran), d’analyse statique (CodePeer) et de génération de code depuis Simulink/Stateflow (QGen). Une des caractéristiques d'AdaCore est son support technique de très haut niveau, inclus dans toutes les souscriptions, ce qui garantit des réponses rapides et adaptées aux besoins de ses clients. AdaCore sert une clientèle qui inclut la plupart des grands noms de l’industrie aéronautique, spatiale, de la défense, du contrôle aérien, du transport ferroviaire.
Competences :
Logiciel

Les données

Effectifs :
28
Chiffre d'affaires :
2012 : 12 000 K€
Marché cible :
Industrie Automobile, Système de Défense
Les projets
Ce membre participe aux projets suivants :