Outils pour utilisateurs
stage_esprit
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
stage_esprit [2009/10/06 17:10] tigli |
stage_esprit [2009/10/06 17:23] (Version actuelle) tigli |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== Projet SI5 : WComp over Sup ====== | + | ====== Stage Ingénieur : Plateforme SYNCOMP ====== |
| - | {{ imagesup.jpg?200|}} {{ camerax.gif|}} | + | === Date: 2009-2010 === |
| - | + | === Durée: 6 mois === | |
| - | === Date: 2008-2009 === | + | |
| ==== Titre : ==== | ==== Titre : ==== | ||
| - | Web services UPnP et DPWS d'analyse de scène à partir de flux video et mise en oeuvre dans la plateforme pour l'assemblage de services pour dispositif WComp | ||
| + | Plateforme de composition de services pour dispositifs et de validation pour l’interprétation de scènes pour la reconnaissance d’activités en informatique ambiante | ||
| ==== Résumé du projet ==== | ==== Résumé du projet ==== | ||
| Ligne 21: | Ligne 20: | ||
| Ces services peuvent donc s'apparenter à des services pour dispositifs complexes dont les fonctionnalités dépendent du traitement de SUP. | Ces services peuvent donc s'apparenter à des services pour dispositifs complexes dont les fonctionnalités dépendent du traitement de SUP. | ||
| - | Nous proposons dans ce projet de rapprocher de tels dispositifs complexes des standards des web services pour dispositifs, tels qu'UPnP et DPWS. | + | Nous proposons, dans une première partie du stage, de rapprocher de tels dispositifs complexes des standards des web services pour dispositifs, tels qu'UPnP et DPWS. |
| Ces nouveaux services pour dispositifs "SUP" pourront alors être découverts et utilisés à la volée par la plateforme (d'assemblage de services pour dispositif) [[http://rainbow.essi.fr/wikiwcomp/doku.php|WComp]] avec d'autres dispositifs hétérogènes dans une application globale multi-dispositifs. | Ces nouveaux services pour dispositifs "SUP" pourront alors être découverts et utilisés à la volée par la plateforme (d'assemblage de services pour dispositif) [[http://rainbow.essi.fr/wikiwcomp/doku.php|WComp]] avec d'autres dispositifs hétérogènes dans une application globale multi-dispositifs. | ||
| - | Ce projet fera l'objet d'expérimentations sur la plateforme WComp, dans le cadre de l'Ubiquarium de Polytech. | + | La réalisation de cette plateforme commune permettra en seconde partie de ce stage de reprendre les premiers résultats de l'action SynComp (collaboration entre l'équipe Pulsar et Rainbow pour la validation formelle de composition de services pour dispositifs, qui a donné lieu à une Action Color de 2007 à 2008 [[http://www-sop.inria.fr/pulsar/projects/SynComp/reunion1.html|SynComp]]). |
| + | |||
| + | La seconde partie du projet consiste alors à compléter cette plateforme avec une série d'extensions logicielles telles que : | ||
| + | * de nouvelles librairies de composants dotées d'une sémantique formelle qui permettront de vérifier des assemblages de services pour dispositifs (ces librairies permettront à l'utilisateur d'assembler graphiquement des composants et des services pour dispositifs dans le but de réaliser une application d'informatique ambiante, tout en permettant la vérification de nombreuses propriétés de l'assemblage et de l'application) | ||
| + | * des mécanismes de composition validés entre plusieurs de ces assemblages (ces mécanismes permettront dans le cas de la mise en œuvre simultanée de plusieurs applications de résoudre avec une logique prouvée les conflits d'accès qui pourraient apparaître sur les dispositifs de l'application) | ||
| + | |||
| + | Ces approches permettront à l'étudiant de se familiariser avec l'utilisation du logiciel récent et éprouvé de "model-checking" : [[http://nusmv.irst.itc.it/|NuSMV]] .Ce dernier est un outil efficace mettant en œuvre deux techniques complémentaires et puissantes de model-checking: la vérification symbolique de propriétés (formules de logique “temporelle”) et le model-checking borné qui utilise des techniques de SAT-solver pour effectuer la validation de formules logiques. C'est ainsi que ce logiciel nous permettra de prouver de façon exhaustive des propriétés de sureté de fonctionnement et de vivacité de l'application considérée. | ||
| - | * ** Un stage est envisageable après le projet** | + | Les résultats de ce projet feront l'objet d'expérimentations et de tests de la nouvelle plateforme commune. |
| ==== Informations Complémentaires ==== | ==== Informations Complémentaires ==== | ||
| Ligne 36: | Ligne 41: | ||
| * **Annie Ressouche,** chargé de recherche à l'INRIA Sophia Antipolis - Méditerranée, équipe PULSAR | * **Annie Ressouche,** chargé de recherche à l'INRIA Sophia Antipolis - Méditerranée, équipe PULSAR | ||
| - | {{:unsa.jpg?100}} | + | {{ unsa.jpg?100}} |
| * **Jean-Yves Tigli,** enseignant chercheur à Polytech'Nice Sophia Antipolis, équipe RAINBOW en délagation dans l'équipe PULSAR | * **Jean-Yves Tigli,** enseignant chercheur à Polytech'Nice Sophia Antipolis, équipe RAINBOW en délagation dans l'équipe PULSAR | ||
stage_esprit.1254841800.txt.gz · Dernière modification: 2009/10/06 17:10 par tigli
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
