Récemment, les résultats du projet Hi-Lite associant AdaCore (développement d'applications critiques) et un bouquet de partenaires (Altran, INRIA, EADS-Astrium, CEA…