Corporate Research Center Software Department 1/14 UAC/L/99/0292 PROJET CALIFE Réunion de lancement 2 septembre 1999 Calife

Corporate Research Center Software Department 2/14 UAC/L/99/0292 Ordre du jour  10h00 - Accueil et introduction  10h10 - Sous Projet 1 - Alcatel/CRIL Technology  10h40 - Sous Projet 2 - France Telecom - CNET  11h10 - PAUSE  11h20 - Sous Projet 3 - LaBRI  11h50 - Sous Projet 4 - LSV  12h20 - DEJEUNER  14h00 - Présentation de COQ - LRI/Loria  14h30 - Sous Projet 5 - LRI/Loria  15h00 - Sous Projet 6 - INRIA  15h30 - DISCUSSION (Web, Logo, Bureautique, etc.)  17h30 - CLOTURE

Corporate Research Center Software Department 3/14 UAC/L/99/0292  Objet Environnement pour la Preuve Formelle et le Test d’Algorithmes utilisés en Télécommunications  Partenariat Coordinateur : Alcatel Partenaire 1 : France Telecom - CNET Partenaire 2 : CRIL Technology Partenaire 3 : INRIA Partenaire 4 : LaBRI Partenaire 5 : Loria Partenaire 6 : LRI Partenaire 7 : LSV  Thème Nouveaux outils de conception et de développement de systèmes  Nature/durée  Exploratoire/36 mois  Eléments financiers  coût total : 15,7 MF  ressources : 39,8 h/an  Notification  12 juillet 1999 Calife

Corporate Research Center Software Department 4/14 UAC/L/99/0292 Planning  Pour chaque sous projet, le responsable doit déterminer :  Pour chaque tâche  Dates de début et fin  Participants  Dates des fournitures  Définitions et dates des fournitures internes  Dépendances entre tâches (du même sous projet ou des autres sous projets) et entre fournitures (internes et externes)  Responsable de la tâche  Objectif  Planning complet le 30/09/1999

Corporate Research Center Software Department 5/14 UAC/L/99/0292 Exemple de planning

Corporate Research Center Software Department 6/14 UAC/L/99/0292  Réunion d’avancement  Suivi contractuel (avancement, livraisons), aspects financiers, IPR…  Bilan et planning  Fréquence : 3 mois  Réunion technique  Avancement, synchronisation, revue des documents, identification des risques techniques, …  Fréquence : à définir par chaque sous projet  Protocole d’accord  Modalités relatives à l'exécution du projet  Droits et obligations  Objectif : protocole signé en 1999 Coordination: mode de fonctionnement

Corporate Research Center Software Department 7/14 UAC/L/99/0292  Modalité de versement pour les industriels  Première demande de versement : T0 + 3  Demandes suivantes : période trimestrielle  Modalité de versement pour les universitaires  Première demande de versement : T0 (versement déjà effectué)  Demandes suivantes : période semestrielle  Pièces à fournir  Cumul des justificatifs de frais de la période (tableau à remplir), et factures acquittées (équipements, prestations, missions)  Etat d’avancement annuel du projet (avancement semestriel à titre informatif)  Protocole d'accord (en particulier pour la propriété intellectuelle) à T0+6 Financement des partenaires

Corporate Research Center Software Department 8/14 UAC/L/99/0292  Partenaires  Responsable sous projet : Alcatel (2 h/an)  CRIL Technology (3,8 h/an)  FT - CNET (1 h/an)  INRIA, LaBRI, LORIA, LRI, LSV (0,5 h/an)  Objectifs  Assembler les différents prototypes développés par le projet en un environnement intégré (démonstrateur)  Tâches  Modèle commun de spécification  Architecture générale et intégration des outils  Validation et tests de la plate-forme  Gestion et coordination du projet, dissémination et exploitation des résultats Sous Projet 1: Architecture globale, Intégration et Coordination

Corporate Research Center Software Department 9/14 UAC/L/99/0292 Environnement d’exécution de tests Implémentation Objectifs de tests Génération de cas de tests Assistant de Preuve COQ Modèle d’Algorithmes Propriétés Preuve de Propriétés Traducteu r Fiche de test Fiche de test Fiche de test Fiche de test Fiches de test Objectif : Environnement de validation de logiciels intégrant des techniques de preuve formelle applicable dans les phases amont du cycle de vie Modèle Automatique Interaction Manuel

Corporate Research Center Software Department 10/14 UAC/L/99/0292  Démarche proposée (itérative)  Première réunion : exposé des différents modèles, débat  Deuxième réunion : exposé des modèles obtenus après prise en compte des remarques précédentes, débat  Monter les réunions tous les mois pendant 4 mois (septembre à décembre) puis tous les 15 jours (janvier à mars)  Planning  Début : septembre 1999  Fin : mars 2000  Objectif  Document décrivant le formalisme à employer pour modéliser les algorithmes (syntaxe et sémantique) prêt en mars 2000 Tâche 1 : Modèle de spécifications

Corporate Research Center Software Department 11/14 UAC/L/99/0292  Démarche proposée  Faire une liste des fonctions/services et Identifier les interfaces  Permet de préciser les tâches de chacun et les interactions  Définir des incréments  Permet de montrer des résultats intermédiaires  Réaliser les parties de logiciel manquantes  Planning  Début: septembre 1999  Spécification du premier prototype (incrément #1) : mars 2000  Prototypage : Incrément #1 : septembre 2000, #2 : septembre 2001  Fin : mars 2002  Objectif  Document décrivant l'architecture du démonstrateur ainsi que les incréments à réaliser prêt en septembre 2000 Tâche 2 : Architecture générale et intégration d’outils

Corporate Research Center Software Department 12/14 UAC/L/99/0292  Démarche proposée  Valider les "briques" fournies par les autres sous projets  Indiquer les erreurs éventuelles aux sous projets concernés  Utiliser les outils sur un exemple issu de l'ATM (démonstrateur)  Planning  Début : juillet 2000  Premier prototype (incrément #1) : décembre 2000  Second prototype (incrément #2) : décembre 2001  Démonstrateur final : juin 2002  Fin : juin 2002  Objectif  Démontrer la validité de l'approche mise en œuvre dans le projet à l'aide d'un démonstrateur prêt en juin 2002 Tâche 3 : Validation et tests de la plate-forme

Corporate Research Center Software Department 13/14 UAC/L/99/0292 Discussion  Web Calife  Hébergement  Maintenance  Logo Calife  Des propositions?  Bureautique  Correspondance (compte-rendu de réunions, etc.)  Fournitures  Outils de développement  Gestion des versions, etc.  Conférences et publications  Conférences déjà identifiées?

Corporate Research Center Software Department 14/14 UAC/L/99/0292 Actions  Participants  Au niveau de chaque tâche  Validation des fournitures  Définir le processus et les critères  Réunion de lancement avec le ministère  Courant septembre (réunion d'avancement #1)  Première version d'un Web Calife  Dossier présenté au ministère  D'autres propositions?  Négociation du protocole d'accord  Version corrigée fin septembre/début octobre