Des outils pour le développement des logiciels très haute sécurité

Pour démocratiser rendre plus rapide les méthodes formelles dans le développement de logiciels critiques, en associant la vérification formelle et le test pour les projets de grande taille, impliquant plusieurs langages de programmation, et soumis à des critères de certification et des standards de type DO-178B, le projet Open Source Hi-Lite s'est appuyé sur l'expérience acquise pendant dix ans par Airbus pour créer des systèmes critiques en utilisant des méthodes de vérification formelles et sur les outils industriels déjà développés par les partenaires du projet (AdaCore, Altran, Astrium Space Transportation, CEA List, Inria Toccata et Thales[…]