Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : France-Telecom CNET
Précédent : Contrats industriels (nationaux, européens et
Remonter : Contrats industriels (nationaux, européens et
Suivant : France-Telecom CNET
Un projet exploratoire CALIFE (Environnement pour la Preuve formelle et le Test d'Algorithmes utilisés en Télécommunication) a été labellisé dans le cadre de l'appel d'offre RNRT de la fin 98. Le but de ce projet est le prototypage d'un environnement permettant de valider, de facon rigoureuse, les phases hautes du cycle de développement pour les composants critiques. Cet environnement devra à la fois permettre la spécification d'un algorithme, sa vérification formelle, et la génération de tests permettant de valider une implémentation de cet algorithme. Les partenaires de ce projet sont ALCATEL, le CNET (France Telecom), l'INRIA, le LaBRI (Bordeaux), le LORIA, le LRI (Orsay) et le LSV (ENS Cachan).