La NSA livre le projet Tokeneer aux développeurs du Libre

7 octobre 2008   dans   Logiciels

L’Agence nationale de sécurité américaine (NSA) annonce la mise à disposition du projet Tokeneer à la communauté open-source. Présenté à l’origine dans un article publié en 2006, le projet a comme objectif à long terme d’améliorer les pratiques de développement des fournisseurs de la NSA.

Le projet Tokeneer a été attribué par la NSA à la société britannique Praxis High Integrity Systems en vue de créer un exemple d’ingénierie logicielle à haute garantie.

Développé suivant la méthodologie Correctness by Construction (CbyC) mise au point par Praxis, il utilise le langage SPARK Ada et l’environnement de développement GNAT Pro d’AdaCore.

Tokeneer a été développé dans le cadre d’un projet à prix fixe. Il représente un effort de 260 homme-jours seulement pour le développement de quelque 10 000 lignes de code à qualité garantie. Son coût est donc significativement inférieur à ceux obtenus grâce aux méthodes traditionnelles.

Le projet est destiné à la fois aux communautés industrielle et académique. Il établit une base pour la poursuite de la recherche dans le domaine de la vérification de programmes que comme support d’enseignement. Il va aussi être inclus dans le Verified Software Repository, sous les auspices de l’actuel Grand Challenge du groupe Dependable Systems Evolution.

Le contenu complet du projet est dès à présent disponible sur adacore.com/tokeneer. Il comprend notamment les exigences, la cible de sécurité, les spécifications, les documents de conception, le code source et les preuves.

(Vous souhaitez reproduire cet article ?)

A la Une