RNTL Flex-eWare Planification Lot 1 Kick-off – 16/01/2007 INRIA Jacquard Lionel Seinturier

S2 - 21/11/2003 Lot 1 : Architecture et déploiement (aka État de l'art) 1.1Taxonomie des technologies MW-OS (T0 -> T0+6) 1.2Classification des exigences des domaines applicatifs (T0 -> T0+6) 1.3Convergence des modèles de composants (T0 -> T0+36) 1.4Démarches de déploiement (T0 -> T0+12) tâches : documents Échéances T0+6 : 1.2 T0+12 : v0 – 1.4 T0+24 : 1.3v1 T0+36 : 1.3v2

S3 - 21/11/2003 Proposition de méthodologie de travail tâches faire une liste d'items à faire apparaître dans les livrables assigner item à un partenaire (prise en charge de la rédaction) le resp. de la tâche veille à l'avancement de chaque item assemble le tout (intro, conclu, éventuellement grille lecture, comparaison, …) point d'avancement intermédiaire T0+3 pour 1.2 (attendue T0+6) également 1.1 et 1.3

S4 - 21/11/ Taxonomie des technologies MW-OS T0 -> T0+12 ENST, FT, TCF, CEA, ENST, INRIA, LIP6 identification de techno MW et OS "remarquables" analyse des techno retenues selon 2 axes pertinence pour résoudre les pbs industriels –adaptation à des nouvelles fonctionnalités (TR/E, safety, …) capacité à prendre en compte les propriétés non fonctionnelles identification des bonnes pratiques mise en œuvre par les techno Liste OSEK, RT-CORBA, DDS, OS reconfigurables (FT), RTOS (VxWorks, Linux-RTs, …), OASIS, OS-MW reconfigurables (L4, MMLite, …) définition commune des features, transparence des services, prise en compte services non fonctionnels (sureté, …), taille, hardware

S5 - 21/11/ Classification des exigences applicatives T0 -> T0+6 SE, FT, ST, TCF, Teamlog recueil et classification des exigences au travers d'interviews des partenaires élaboration du modèle d'exigences revues du modèle d'exigence Liste 1 recueil par partenaire impliqué modèle + exigences (cf COMPARE-MERCED) + nouvelles problématiques (TCF) retour à T0+3 pour orienter 1.1 et 1.3 description des contextes, exigences applicatives et sur les plates-formes template (SE) à remplir par les partenaires -> merge -> réunion ex. contraintes de portabilité

S6 - 21/11/ Convergence des modèles de composants T0 -> T0+122 itérations supplémentaires : T0+24 et T0+36 LIP6, ST, TCF, CEA, ENST, INRIA convergence Fractal/Think et LW-CCM/C3-M permettre passerelles entre modèles en termes structure de composants, schémas de connexion sémantique d'exécution, prise en compte propriétés non fonctionnelles T0+12 : déf. du méta-modèle commun et projections T0+24 et T0+36 : raffinements en fonction feed-back lots 2, 3 et 4 aboutir au modèle de composants Flex-eWare Liste : Fractal/Think, Lw-CCM, (OASIS ?) PolyORB/AADL, modèle(s) TinyOS, IST RUNES, BIP introduction aux modèles Fractal/Think et Lw-CCM + 1 (ou 2) exemple traité par les 2

S7 - 21/11/ Démarche de déploiement T0 -> T0+12 INRIA/Sardes, TCF, CEA, ENST, INRIA état de l'art sur les techniques de déploiement déploiement des composants Flex-eWare (cf. tâche 1.3) prise en compte dans l'ADL schémas de connexion propriétés non fonctionnelles projection vers nœuds physiques revue des éléments qui permettent d'étendre le déploiement avec du comportement Liste : FDF (INRIA/J.), chaîne de génération (INRIA/S.), Lw-CCM DnC (TCF), Ocarina (ENST), reconfiguration au runtime