Fiche du membre

ADACORE

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.