AdaCore

AdaCore développe des outils de développement et de vérification de logiciels pour les systèmes à haute intégrité dans des secteurs comme l'avionique, la défense, le spatial, le ferroviaire, l'automobile et les dispositifs médicaux. Ses chaînes d'outils GNAT Pro fournissent des compilateurs, des IDE, des débogueurs et des environnements d'exécution pris en charge pour Ada, C/C++ et Rust sur des plateformes natives et embarquées. SPARK Pro applique la preuve formelle pour démontrer l'absence d'erreurs d'exécution et vérifier les propriétés des programmes. CodeSonar réalise une analyse statique approfondie et des contrôles de conformité aux standards de codage, tandis que GNAT Dynamic Analysis Suite couvre les tests unitaires, la couverture de code et le fuzzing. L'entreprise propose aussi de la formation, du mentorat et un support à long terme pour que les équipes d'ingénierie puissent satisfaire aux normes de certification comme DO-178C et ISO 26262.