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

Présentation au sujet: "Corporate Research Center Software Department 1/14 UAC/L/99/0292 PROJET CALIFE Réunion de lancement 2 septembre 1999 Calife."— Transcription de la présentation:

1 Corporate Research Center Software Department 1/14 UAC/L/99/0292 PROJET CALIFE Robert.Tingaud@alcatel.fr Réunion de lancement 2 septembre 1999 Calife

2 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

3 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

4 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

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

6 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

7 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

8 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

9 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

10 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

11 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

12 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

13 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?

14 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