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 ;)