DynaMid - Kickoff Meeting

Transcript

1. DynaMid Kickoff Meeting March, 12 - 2013
2. Dynamic IT World 2 Internet / Web of Things Cloud Systems Smartphones Sensors Sm artboxes Geolocation Mobility PaaS/IaaS/SaaS Continuous Delivery Data Analysis Continuous Data Flow
3. Life-long Valuable Services e-Society 3 Internet / Web of Things Cloud Systems Smart Cities Human Being Society Smart Cars Home Automation Green Buildings
4. e-Systems 4 Human Being Society Autonomous Software Systems Internet / Web of Things Cloud Systems
5. DynaMid 5 Autonomous Software Systems Operating Systems Distributed Systems Middleware & Platforms Systems of Systems Embedded Mobile Code Programming Languages, DSL
6. Challenges: conception 6 Meta- modeling Dynamic Software Systems M ulti-facet Specifications M odel Transformations M ulti-point Life-cycle Verification
7. Challenges: programming 7 Context- aware DSL User Profiling/ Adapting Hard/Soft Specialization Self-describing Hard/Software Adaptive Applications
8. Challenges: organizing 8 Autonomous Distributed Architectures and Algorithms Self- organizing Scalable Long-time Running
9. Challenges: running 9 Adaptive Virtual Machines Performant Embedded M ulti- tenant Run-time Evolving
10. Challenges: observing/re-org 10 Valuable Service Composition Spontaneous Integration Self-decision Self-healing Coherent Semantic Behavior Run-time Verification, Negotiation
11. Projects 11 • JooFlux (Julien+Fred) • Golo (Julien) • Smooc (Roya+Fred) • OSGi-substitution (Yufang+Nicolas+Julien) • OSGi-Larva (Yufang+Nicolas) • Green Intersect (Marie-Ange+Fred) • Smart Parking (Trista+Fred)
12. Partners 12 International Regional National Lyon Urban Agency
13. Team 13 3 Associate Professors 4 PhD Students 1 M aster Student
14. Contacts 14 • frederic.le-mouel@insa-lyon.fr • http://dynamid.citi-lab.fr
15. DynaMid Workshop March, 12 - 2013
16. DynaMid Workshop • Useful meeting ! No boring one ! – One-year Roadmap Tentative ! • People ? – New collaborations ! Good ambiance ! • Ideas ? – Emulation ! Discussions ! • New Team Goals ? – No ! Only few ones ! 16
17. Sabbatical Year • Shanghai Jiao Tong University • Project « Smart Cities and IT Technologies for a Sustainable Development » – Internet / Web of Things + Cloud – Digital Cities: Traffic control, Pollution Monitoring • Chair INSA Lyon / SJTU / Industrial ? 17
18. Ala Eddine Abdellaoui
19. Int´ egration de la g´ en´ eration de propri´ et´ es de monitorage de syst` eme dynamique dans la phase de conception Abdellaoui Ala Eddine(1)(3) Encadrant: M. Nicolas Stouls(2)(3) (1)Master 2 RTS, INSA de Lyon, Labo CITI (2)Labo CITI, INSA de Lyon (3) ´ Equipe DynaMid Date : 12 Mars 2013
20. Mon stage Articles lus Perspectives Articles ` a lire Mon stage Les th` emes Monitorage. Syst` eme dynamique. SOA & OSGi. Conception + Sp´ ecification. Objectif Extraire de propri` et´ es depuis un pool global. Garantir de la correction de propri` et´ es extraites.
21. Mon stage Articles lus Perspectives Articles ` a lire Mon stage
22. Mon stage Articles lus Perspectives Articles ` a lire Towards a Framework for Behavioral Specifications of OSGI Components (Jan Olaf Blech) Probl´ ematique Formaliser les diff´ erentes comportements d’un composant. Approche Pr´ esenter chaque comportement sous la forme d’un automate fini. Difficult´ es G´ erer les interactions entre les composants. Fonctionnement globale de syst` eme. Dynamicit´ e de services.
23. Mon stage Articles lus Perspectives Articles ` a lire Towards a Framework for Behavioral Specifications of OSGI Components (Jan Olaf Blech) Les points int´ eressants pour mon travail Pr´ esenter le fonctionnement des composants sous la forme d’un automate. Pr´ esenter le fonctionnement de OSGI. Assurer la coh´ erence entre les automates.
24. Mon stage Articles lus Perspectives Articles ` a lire Behavioral Specification Based Runtime Monitors for OSGI Services (J.O.B, Y.F, H.r, & B.S) Objectif Comment le syst` eme peut r´ eagir en cas de non conformit´ e. application Utiliser OSGI pour ”Home automation”.
25. Mon stage Articles lus Perspectives Articles ` a lire Behavioral Specification Based Runtime Monitors for OSGI Services (J.O.B, Y.F, H.r, & B.S) L’architecture Un serveur central. Des paquets envoy´ es vers le serveur. Des composants (lampe, interrupteurs...). Le fonctionnement Des paquets de donn´ ees OSGI. Chaque propre poss` ede son propre identifiant. Les paquets peuvent ˆ etre ajout´ es, supprim´ es et ´ echang´ es.
26. Mon stage Articles lus Perspectives Articles ` a lire Behavioral Specification Based Runtime Monitors for OSGI Services (J.O.B, Y.F, H.r, & B.S) Les contraintes La dur` ee de fonctionnement du syst` eme. Pas de perturbation de fonctionnement du syt` eme. L’ajout d’un composant La synchronisation. L’instant d’activation du nouveau composant. solution propos´ ee L’interaction entre le nouveau et les anciens composants. D´ efinir un protocole d’enregistrement au niveau du serveur central.
27. Mon stage Articles lus Perspectives Articles ` a lire Behavioral Specification Based Runtime Monitors for OSGI Services (J.O.B, Y.F, H.r, & B.S) Les points int´ eressants pour mon travail Monitorage du comportement. Exemple des interrupteurs Exemple des d´ edecteur d’incendie.
28. Mon stage Articles lus Perspectives Articles ` a lire Machines virtuelles pour le B ´ ev` enementiel (J.P.B & M.F) Probl´ ematique Event B −→ code Java. Difficult´ es Introduire la garde. G´ en` erer un ordonnanceur. Exemple Des clients et un serveur it´ eratif. Des op´ erations.
29. Mon stage Articles lus Perspectives Articles ` a lire Machines virtuelles pour le B ´ ev` enementiel (J.P.B & M.F) Fonctionnalit´ es Pas de gestion de priorit´ e. Une requˆ ete d’information. identifier la prochaine requˆ ete ` a traiter.
30. Mon stage Articles lus Perspectives Articles ` a lire Machines virtuelles pour le B ´ ev` enementiel (J.P.B & M.F) Concepts/M´ ethodes Register. Exec. Accept input. Get Signal. Running. Signalled input. Fonctionnalit´ es du programme Lecteurs et r´ edacteurs.
31. Mon stage Articles lus Perspectives Articles ` a lire Machines virtuelles pour le B ´ ev` enementiel (J.P.B & M.F) En Java... Une nouvelle op´ eration (ev’signal). Une nouvelle fonction (ez’size). La zone SetWait (wait()). Les verrous (lock()). Les points int´ eressants pour mon travail Pr´ eserver le lien ente Java et B-event. Respecter les propri` et´ es.
32. Mon stage Articles lus Perspectives Articles ` a lire Objectif
33. Mon stage Articles lus Perspectives Articles ` a lire Cette semaine.. F. Arbab. Abstarct Behavior Types: A Foundation Model for compnents and their Composition. Formal Methods for Components and Objects. Springer Verlag, 2003. j.O. Blech, Y. Falcone, H. Rue et Bernhard Schatz. Behavioral Specification based Runtime Monitors for OSGI Services. Leveraging Applications for formal Methods, Verification and validation (ISoLA) 2012. Jerˆ ome Moli` ere. OSGI: Conception d’applications modulaires en Java.
34. Roya Golchay
35. LABORATOIRE INGÉNIERIE DES MATÉRIAUXPOLYMÈRES Citi Smart OS for Smart Ambient Devices Roya GOLCHAY 12 Mars 2013
36. GOLCHAY Roya Thésard(depuis avril 2011) §  Diplôme d’ingénieur (Université Science et Culture, Iran) et expériences professionnelle (2002-2009) §  Master recherche à l’INSA (2010-2011) §  Sujet de thèse: «Smart OS for Smart Ambient Devices » §  Encadré par: Stéphane FRÉNOT et Frédéric LE MOUËL •  Proposer les smartphones comme des passerelles de services qui relient l’Internet des choses (IoT) et la virtualisation dans les nuages (Cloud Computing) GOLCHAY Roya – 12 Mars 2013 1/8
37. Sujet: Les smartphones comme passerelles de services
38. Points durs: architecture §  Intergiciel à services, déploiement, orchestration, exécution (1) §  Algorithme de décision, autonome, contextuel (2) §  Plateforme ouverte, incitative, collaborative (3) GOLCHAY Roya – 12 Mars 2013 3/8
39. §  Modélisation de l’application : les applications orientée-service modélisées comme un graphe de dépendances §  Nœuds: services §  Arcs: dépendance de services §  Dépendance statique au déploiement §  Dépendance dynamique à l’invocation run-time §  Modélisation du contexte: IoT, Gateway, Cloud services, Utilisateur Points durs: modélisation GOLCHAY Roya – 12 Mars 2013 4/8
40. §  Algorithme « optimisation des ressources » §  performant selon une migration d’appel entre Light+Mid +Heavy services §  adaptatif §  Algorithme « smart » + « autonome » §  personnalisé pour l’utilisateur et le contexte §  apprentissage du profil d’invocation des services de l’utilisateur §  Algorithme « collaboratif » + « incitatif » Points durs: algorithmique par raffinement GOLCHAY Roya – 12 Mars 2013 5/8
41. Etat actuel et perspective: Bibliographie §  Etat actuel §  Bibliographie terminée §  En cours §  Rapport de recherche pour la bibliographie en cours de finalisation §  Perspective §  Soumission prévue article de journal GOLCHAY Roya – 12 Mars 2013 6/8
42. Etat actuel et perspective: Implémentation §  En cours §  Grammaire JavaCC pour remplacement d’appels de méthodes dans programme source Androïd §  Perspective §  Installation Micro Cloud Foundry §  Test émulateur Androïd §  Test Platforme Raspberry Pi – Google Nexus §  Besoin §  Benchmarks et applications pour test des algorithmes GOLCHAY Roya – 12 Mars 2013 7/8
43. Merci!
44. Frédéric Le Mouël
45. Frédéric Le Mouël (aka FLM) 1 Diplôme d’ingénieur ESIR, Rennes PhD Université de Rennes Assistant Professor EMN Nantes Associate Professor INSA Lyon Alcatel Lucent Paris INRIA Solidor Rennes INRIA CITI Lab INRIA Ares,Amazone DISTO / DynaMid Lyon
46. Frédéric Le Mouël (aka FLM) 2 Diplôme d’ingénieur ESIR, Rennes PhD Université de Rennes Assistant Professor EMN Nantes Associate Professor INSA Lyon Alcatel Lucent Paris INRIA Solidor Rennes INRIA CITI Lab INRIA Ares,Amazone DISTO / DynaMid Lyon JAV WEB MID
47. Frédéric Le Mouël (aka FLM) 3 Diplôme d’ingénieur ESIR, Rennes PhD Université de Rennes Assistant Professor EMN Nantes Associate Professor INSA Lyon Alcatel Lucent Paris INRIA Solidor Rennes INRIA CITI Lab INRIA Ares,Amazone DISTO / DynaMid Lyon Information Retrieval
48. Frédéric Le Mouël (aka FLM) 4 Diplôme d’ingénieur ESIR, Rennes PhD Université de Rennes Assistant Professor EMN Nantes Associate Professor INSA Lyon Alcatel Lucent Paris INRIA Solidor Rennes INRIA CITI Lab INRIA Ares,Amazone DISTO / DynaMid Lyon Mobile Computing Middleware - Java, JVM
49. Frédéric Le Mouël (aka FLM) 5 Diplôme d’ingénieur ESIR, Rennes PhD Université de Rennes Assistant Professor EMN Nantes Associate Professor INSA Lyon Alcatel Lucent Paris INRIA Solidor Rennes INRIA CITI Lab INRIA Ares,Amazone DISTO / DynaMid Lyon Pervasive Computing (Web) Service Composition Middleware - OSGi, UPnP
50. Frédéric Le Mouël (aka FLM) 6 Diplôme d’ingénieur ESIR, Rennes PhD Université de Rennes Assistant Professor EMN Nantes Associate Professor INSA Lyon Alcatel Lucent Paris INRIA Solidor Rennes INRIA CITI Lab INRIA Ares,Amazone DISTO / DynaMid Lyon Ambient Computing Middleware - JVM, OSGi Contextual Service Deployment
51. Frédéric Le Mouël (aka FLM) 7 Diplôme d’ingénieur ESIR, Rennes PhD Université de Rennes Assistant Professor EMN Nantes Associate Professor INSA Lyon Alcatel Lucent Paris INRIA Solidor Rennes INRIA CITI Lab INRIA Ares,Amazone DISTO / DynaMid Lyon Autonomic Computing - Smart-* Middleware - *VM, DSL Distributed, collaborative Systems
52. Nicolas Stouls
53. 26 Mai 2009 Stéphane Frénot 1/9 Nicolas Stouls CITI / Premier Cycle  Centres d'intérêts • Preuve de programme • Outils formels • Propriétés temporelles • Monitorage • Systèmes dynamiques (OSGi)  Encadrements en cours : • Yufang DAN (2010-2014) • Ala Eddine Abdellaoui (Février-Juin)
54. 26 Mai 2009 Stéphane Frénot 2/9 Centres d'intérêt Time-line et convergence Spécification Exploitation Code Dynamique Substitution de services Monitorage de systèmes Conception Preuve de cohérence Extraction d'automates Développement Vérification Génération de test Codage Preuve d'annotations Euristiques pour l'automatisation de preuves -2007 2007-2009 2009-2011 2013- (Ala Eddine) 2010- (Yufang) Conception multi-facettes Décomposition des propriétés et vérification répartie
55. 26 Mai 2009 Stéphane Frénot 3/9 Contexte  Systèmes dynamiques • Code apparaît/disparait spontanément • Déplacement de code  Plateformes mobiles • « Faible » puissance • Énergie limitée • Code externe non maitrisé
56. 26 Mai 2009 Stéphane Frénot 4/9 Points durs (1/3)  Conception • Comment spécifier un programme mobile ? • Comment vérifier un programme mobile ? • Comment vérifier un programme partiel ? • Comment combiner des approches complémentaires de vérification ?
57. 26 Mai 2009 Stéphane Frénot 5/9 Points durs (2/3)  Codage • Intégrer la dynamique dans le langage ? • Lien avec la vérification statique ? • Lien avec la vérification dynamique ?
58. 26 Mai 2009 Stéphane Frénot 6/9 Points durs (3/3)  Runtime • Hotswap de services ? • Déplacement du code selon un objectif ? • Quelles vérifications faisables ? • Quelles garanties atteignables ? • Quel coût pour l'évaluation ? • Comment vérifier un programme dont on n'a que le binaire pendant le runtime ?
59. 26 Mai 2009 Stéphane Frénot 7/9 Travaux en cours (1/2)  BQR « Bâtiment intelligent » (LIRIS/CETHIL) • Labellisé IMU • Étude énergétique de réseaux de capteurs • Objectif : optimisation énergétique du logiciel  Substitution à la volée de services OSGi (YDA,JPO,HME) • Approche par API • Objectifs au choix de l'utilisateur : – Rendre explicite la disparition de service – Substituer silencieusement un service (Transaction)
60. 26 Mai 2009 Stéphane Frénot 8/9 Travaux en cours (2/2)  Monitorage de service OSGi (YDA, SFR) • Outil OSGiLarva : LogOS + Larva • Identification de 2 propriétés importantes – Résistance à la dynamique – Non répudiable  Spécification multi-facette de services OSGi (AAB) • OSGiLarva + B événementiel
61. 26 Mai 2009 Stéphane Frénot 9/9 TODO  Substitution intelligente • Rejeu transparent pour l'utilisateur – Utilisation de l'historique du moniteur ? – Intégration comme une action du moniteur ?  Vérification multi-facette • Comment décomposer les spécifications ? • Comment répartir les vérifications selon différentes manières ? • Quelles garanties peut on obtenir ?
62. Julien Ponge
63. Julien Ponge 1 Web services / business process (timed automata, compatibility, substitution) Dynamic services (OSGi, “semi”-embedded) Dynamic-* (middleware, language, runtime)
64. OSGi-substitution 2 (with Nicolas and Yufang) Avoiding stale references Defining atomic blocks over a group of references Plain OSGi services with transparent hooks
65. JooFlux 3 Dynamic AOP + code patching https://github.com/dynamid/jooflux (with Fred)
66. Golo — http://golo-lang.org/ 4
67. Yufang Dan
68. OSGiLarva: A Monitoring System Supporting Dynamicity of OSGi Yufang DAN Supervisors: Nicolas Stouls and St´ ephane Fr´ enot Date : 12/03/2013
69. Context Difficulties Current works Perspectives Context Service Oriented Architecture(SOA) Loosely coupled client-server through interfaces Interface Service Client requests a service Client uses the service OSGi: A Dynamic SOA Dynamic module system Self-contained unit: bundle Life cycle management for bundles
70. Context Difficulties Current works Perspectives Difficulty: How to Monitor Dynamic System? ... Client Service1 Service 2 Sub- System access Interface: Auth(); Lock(); SomeUse(); UnLock(); UnAuth(); Request
71. Context Difficulties Current works Perspectives Difficulty: How to Monitor Dynamic System? ... Client Service1 Service 2 Sub- System access Interface: Auth(); Lock(); SomeUse(); UnLock(); UnAuth(); Request
72. Context Difficulties Current works Perspectives Difficulty: Which scope for property description? Inter face Client1 Client2 Service2 Service1 Interface side property Client side property Service side property Service side property Client side property
73. Context Difficulties Current works Perspectives Existing runtime monitoring tools JavaMOP and Larva tools Java monitoring tools Relies on AspectJ for monitor injection Property description: evens define from monitored system For both: – Dynamicity resilience + Comprehensiveness
74. Context Difficulties Current works Perspectives Existing runtime monitoring tools Logging system Kept out of the logged system. Made a loosely links Depends on the written logs to logging system For both: + Dynamicity resilience – Comprehensiveness
75. Context Difficulties Current works Perspectives OSGiLarva tool Based on LogOs and Larva LogOs : OSGi Logging tool Larva : Java monitoring tool A dynamic runtime monitoring Dynamicity resilience Comprehensiveness Dynamicity in property description
76. Context Difficulties Current works Perspectives Dynamicity in property description Auth() UnAuth() UnReg() s0 s1 s2 Lock() UnLock() SomeUse() s2 s2 UnReg() GetService() Auth() Property Description: Instance property and Class Property Framework event primitives
77. Context Difficulties Current works Perspectives Dynamicity in property description s0 s1 Lock() UnLock() SomeUse() clock\timer>=timerout\timer.reset() Property Description: Instance property and Class Property Framework event primitives
78. Context Difficulties Current works Perspectives Dynamicity in property description language
79. Context Difficulties Current works Perspectives OSGiLarva Implementation OSGiLarva Framework event Service Registration Get Service Request Service Invocation Event Invocation Event Service Unregistration Implementation Larva Property checking Client OSGi Service managemnt System LogOs Proxy LogOs Proxy Class Property Instance Property Interface Service
80. Context Difficulties Current works Perspectives Perspectives Reduce the monitor time cost Make OSGiLarva asynchronous Integrate Service Substitution API
81. Context Difficulties Current works Perspectives Thanks And Questions?
82. Trista Lin
83. Measuring Urban Mobility for a Citizenship Service Cartography and Assistance Trista Lin Supervised by: Fr´ ed´ eric Le Mou¨ el (DISTO) & Herv´ e Rivano (UrbaNet) INRIA, Universit´ e de Lyon INSA-Lyon, CITI-INRIA, F-69621, France trista.lin@inria.fr March 12 2013
84. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference My background Trista S. LIN Born in Lukang, Taiwan Education B.Sc. in Applied Mathematics & Communication Engineering from National Tsing Hua University (NTHU, Taiwan) in 2005 M.Sc. in Computer Science (Networking) from INSA Lyon in 2012 Experience 2006-2010 Network Simulation Engineer at Pitotech (Taiwan) 2010-2011 Application Engineer at Simulation Research (Netherlands) 2010- Robotics Business Development (France) Now Measuring Urban Mobility for a Citizenship Service Cartography and Assistance Smart On-Street Parking
85. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Service Infrastructure Get information from the urban environment Build WSN-based Urban Service Infrastructure measure the real-time information all sensor devices are battery-equipped multi-hop sensor networks Figure : On-Street Parking
86. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Service Architecture Deliver the information to users WSN-based Parking Assistance Service Desing an efficient Service Architecture with communication networks Crowdsourcing[4] Citizen can participe the platform to improve the quality of information Figure : Information delivery
87. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Availability of information Availability of information Environment and Hardware Issue Link quality and nework connectivity Realistic street layout: OpenMapStreet Urban propagation model: COST231 Walfish-Ikegami @0.8 2GHz [1] UCLA RSL lab: CORNER @2.4GHz [2] Sensing range, i.e. sensor coverage Node density Delay Outdated information is useless
88. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Energy-delay tradeoff Energy-delay tradeoff Network Issue Multiple-hop or single-hop Duty cycle (active/sleep period) adapts to traffic variations Traffic model in a mid-sized city (150 000 inhabitants, 20km2) 80 000 magnetic ground sensors Uplink: 1-4 packet/hour, 100 bytes (daily uplink load: 187 500 kbytes) Downlink: 1 packet/day, 100 bytes (daily downlink load: 7 812 kbytes) Lyon: 466 400 inhabitants, 47.95 km2
89. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Reliablility of information Reliablility of information Service Issue More than two drivers are chasing one parking place Parking space selection model Delay constrained < 60s Length of available parking place > vehicle length Multiple detections Malicious attack if citizen can compensate the wanting or outdated information
90. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Case studies SF, LA, Barcelona, Beijing
91. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Simulation Scenarios in WSNet simulator Network protocols Crossbow MicaZ energy model 0 5e+13 1e+14 1.5e+14 2e+14 2.5e+14 3e+14 -10 -5 0 5 10 15 0 20 40 60 80 100 Total energy consumption (J) Delay time (s) Transmission power (dBm) Energy: BPSK 20kbps Energy: BPSK 40kbps Energy: O-QPSK 250kbps Delay: BPSK 20kbps Delay: BPSK 40kbps Delay: O-QPSK 250kbps
92. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Network Network Issue Vehicle arrival and departure models Street layout + urban mobility Link quality according to the channel gain Information delivery to vehicles Parking space selection model Enlarge network scale Nodes’ life and death Parking space length measurement
93. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Service Service Issue Distributed algorithm for information dissemination: from gateways to users – geolocation distance / user personalization / time/ traffic Distributed algorithm simulation Platform: HiKob, Rapberry Pi, .... Crowdsourcing: collaboration algorithm, security, privacy, false information Smart parking app Add-on service: navigation, pricing, ...
94. Who am I Work Context Research difficulties Current progress Future Works and Perspective Reference Reference Reference 1 ETSI TR 103 055 v1.1.1: Electromagnetic compatibility and Radio Spectrum Matters(ERM); System Reference document(SRdoc): Spectrum Requirements for Short Range Device, Metropolitan Mesh Machine Networks(M3N) and Smart Metering (SM) applications 2 Giordano, E.; Frank, R.; Pau, G.; Gerla, M., ”CORNER: a realistic urban propagation model for VANET,” Wireless On-demand Network Systems and Services (WONS), 2010 Seventh International Conference on , vol., no., pp.57,60, 3-5 Feb. 2010 3 Evangelia Kokolaki, Merkouris Karaliopoulos, and Ioannis Stavrakakis. 2012. Opportunistically assisted parking service discovery: Now it helps, now it does not. Pervasive Mob. Comput. 8, 2 (April 2012),210-227 4 Baik Hoh; Tingxin Yan; Ganesan, D.; Tracton, K.; Iwuchukwu, T.; Juong-Sik Lee, ”TruCentive: A game-theoretic incentive platform for trustworthy mobile crowdsourcing parking services,” Intelligent Transportation Systems (ITSC), 2012 15th International IEEE Conference on , vol., no., pp.160,166,16-19 Sept. 2012
95. Marie-Ange Lèbre
96. LABORATOIRE CITI Centre of Innovation in Telecommunications and Integration of service Mardi 12 Mars 2013
97. Mathématiques Villeurbanne Frédéric Le Mouël Qui suis-je ? Déploiement et Invocation de service sous contrainte de délai dans un réseau véhiculaire. Marie-Ange Lebre Eric Ménard Créteil Réseau véhiculaire Smart City Réseaux Sociaux Internet des Objets Contrôle du trafic Cifre Systèmes Complexes
98. Contexte de mon travail Contexte vehiculaire Application Innovante Contexte Utilisateur Intersection Fluide & Green Wave
99. Contexte de mon travail V2V & V2I Smart City 802.11p USA/EU/Japon Test : Applications de Sécurité Compatibilité Standardisation Volonté Moyen Etat actuel But Future Applications Innovantes
100. Points Durs v  Modélisation : Théorie   des   Graphes      
101. Points Durs v  Simulation / Plateforme :
102. Points Durs Le plus court chemin Green Wave Fluidité aux intersections Utilisateur •  Consommation •  Temps •  Arrêt le long du parcours •  Covoiturage •  … Dissemination de l’information : •  Info Trafic •  Info Evenementielle •  … v  Métriques
103. Points Durs Optimisation Locale Plus court chemin (Intersection Fluide) Optimisation Globale Dissemination d’information (Info Trafic, Coordination des feux…) Points Durs Algorithme Autonome & Distribué v  Algorithmie
104. Social network Modèles de réseaux sociaux Smart-Car Applications innovantes Principaux projets V2X Etat Actuel v  Deux états de l’art :
105. Etat Actuel v  Classification :
106. v       Définir le modèle à 3 niveaux Prochaines étapes •  Sémantique des noeuds •  Sémantique des liens inter-niveaux •  Sémantique des liens
107. Prochaines étapes : Utilisateur SNAP Standford Network Analysis Platform NetworkX Python language software package v  Premières Simulations : Voiture SUMO Simulation of Urban Mobility WSNet Simulator for large scale wireless sensor networks Couche communicante + Prochaines étapes v  Interprétation des Résultats
108. Prochaines  étapes  :     v         Plateforme : v  “Validation” des Résultats Prochaines étapes Valeo Box Citi Box Raspberry Pi
109. Merci ;)