La NSA, l'agence de sécurité américaine, vient d'attribuer à la société britannique Praxis High Integrity Systems le projet Tokeneer, et ce en vue de créer un exemple d'ingénierie logicielle à haute garantie. Le projet utilise le langage SPARK Ada et l'environnement de développement GNAT Pro d'AdaCore. De fait, c'est la première fois qu'un projet d'une telle ampleur est mis à disposition de la communauté open-source. Ce projet vise à montrer comment des logiciels hautement sécurisés peuvent être développés en optimisant le rapport performances-coût.