JY Tigli Homepages

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

{{ :mucimg.jpg?nolink&300|}}

{{:drapeau_anglais.jpg?nolink&50|}}
 ====== Middleware for Internet of Things ====== 


----
|||
|||
|||
|||
|||
|||
|||
|||
|||
|||
|||
|||
//**
<< More than the sum of its devices, the Internet of Things links technologies together to create new services and opportunities. >>

**//


===== Lectures : =====

----


{{:cours:2015_2016_iot_course_agenda_and_examination.pdf| Course Agenda et Examination Modalities}}

==== Lecture 1 : Introduction to Middleware for Internet of Things ====
----

  * Lecturer : J.-Y. Tigli 
  * Author : J.-Y. Tigli 


Materials : 

{{:cours:2015_2016_iot_lecture_1_internet_of_things_introduction.pdf|Introduction to Internet of Things (IoT)}}

{{:cours:2015_2016_iot_lecture_1_middleware_and_communication_models.pdf|Middleware, Communication Models and IoT}}

{{:cours:2015_2016_mit_mqtt_lecture_2_.pdf|Introduction to MQTT}}

  * Résumé : Les middleware pour l'IoT épousent des contraintes spécifiques que l'on ne retrouve pas dans les réseaux plus classiques qui permettent de supporter un développement sur des infrastructures occultant la distribution du logiciel (ex. over IP vers un Cloud et consommant Services World Wide). Ces contraintes sont liées à des technologies hétérogènes qui répondent à des exigences applicatives (ex. réseau large scale basse consommation pour la collecte de données de terrain, ex. . A l'instar des middleware classiques, les middleware for IoT s'appuient sur des patterns de communication. Ces patterns sont néanmoins sélectionnés fonction des caractéristiques du ou des réseaux sous-jacents. Nous pouvons alors distinguer à la fois des caractéristiques et contraintes réseaux et les middleware supporté selon.   
    * Des réseaux Large Scale / Low Power sont principalement dédiés à la collecte d'information de terrain contenant un grand nombre de points de collecte de données. Ces réseaux représentent un enjeu majeur pour nombre de domaines traitant des données en volume (Big Data) issues de l'environnement physique (ex. Smart Cities, E-Health and Data ...). Les problématiques sont alors 
       * La limitations de la bande passante et la fréquence d'acquisition 
       * La consommation énergétique et l'endormissement-réveil des noeuds du réseau 
       * L'envoie de données vers les noeuds sachant que les technologies mises en oeuvre sont avant tout dédiées à la collecte de données et non le pilotage de dispositifs de terrain.
   * Les protocoles imposés gérés par les Middleware induisent alors des patterns de communications (ex. eventing pour les réseaux Large Scale / Low Power ) 
   * Des réseaux PAN et WLAN privilégient la mise en place d'autres patterns de communication permettant l'envoi de message vers des dispositifs physiques qui ne sont plus limités aux capteurs mais qui contiennent aussi des actionneurs et qui sont plus communément appelés "Objets Connectés" (ex. éclairages publics, feux tricolores, lampe de chevet, système d'alarme ...). Le problème de l'autonomie énergétique est alors un point dur et conduit souvent à des infrastructures réseaux hétérogènes panachant réseaux low power limités, 
   * L'Interopérabilité rendues ainsi difficile par l'hétérogénéité des réseaux conduit à mettre en place des passerelles vers IP plus ou moins proche du dispositif de terrain. 



==== Lecture 2 : Practical session on Event based Middleware and CEP with MQTT ====
----
  *  J.Y. Tigli

{{:cours:tutorial_mqtt_mit_2015_2016.pdf|Event based Middleware and CEP : MQTT tutorial}}


For more details about MQTT messages format and protocol, see :

[[http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.pdf| MQTT Version 3.1.1 OASIS Standar 29 October 2014]]

||
||
==== Lecture 3 : Web of Things : for Physical Data or Physical Device ====

----
||

{{:cours:2015_2016_iot_lecture_3_service_oriented_middleware_for_iot.pdf|Service oriented Middleware and IoT}}


{{:cours:tutorial_coap_mit_2015_2016.pdf|Tutorial on HTTP RESTFul and CoAP}}

{{:cours:coap_simple_service.zip| Zip file of a .Net C# solution with a simple CoAP client and server based on CoAP.Net library}} 


==== Lecture 4 : Course on Formal Model for Software Composition ====
  * Lecturer Annie Ressouche

Lecture: Safety in Middleware for IoT
{{http://www-sop.inria.fr/members/Annie.Ressouche/pdf/Lecture_MUC_UBINET_Verif_2015_2016.pdf|Slides}}





==== Lecture 5 : Tutorial on Service for Device Composition  ====

[[http://trolen.polytech.unice.fr/cours/mit/|Materials for the lecture and the practical course]]
==== Lecture 6 : Tutorial on Formal Model for software composition using synchronous language programming ====
  * Authors: Annie Ressouche and Ines Sarray

Tutorial: Creating a Validated Cross Roads Component in WComp
{{http://www-sop.inria.fr/members/Annie.Ressouche/pdf/Tutorial_MUC_UBINET_Verif_2015_2016.pdf|TP}}

Material:
  - CLEM: the clem tools useful to design a synchronous cross roads component in WComp {{http://www-sop.inria.fr/members/Annie.Ressouche/zip/clem_software.zip|Clem software}}. This archive contains **clem**, **blif_check**, **blif_simul** and **galaxy** software. You should put them in a "bin" folder and add the path to this foldr in the environment variable **Path** of your windows system (see the tutorial)
  - WComp: the files useful to synchronize/un-synchronize events in Comp {{http://www-sop.inria.fr/members/Annie.Ressouche/zip/WCompCrossRoad.zip|Wcomp library}}. We refer to the tutorial where there is a detailed description of this library use.

==== Lecture 7a : Semantic Web of Things ====
|||
{{:cours:lecture_6_swot.pdf|| Slides of the course on Semantic Web of Things}}

==== Lecture 7b : Summary and Plan of the overall MIT course ====
|||

{{:cours:2015_2016_iot_lecture_7_middleware_for_internet_of_things_summary.pdf|Course Summary and Plan}}

==== Evaluation ====

  * MCQ on MQTT 10 %
  * Tutorial on Formal Model and Validation 40 % (deadline sunday the 14th)
  * MCQ on the overall course 30 %
  * Time limited paper review 20 %


== Description of the materials to send to Annie Ressouche - Annie.Ressouche@inria.fr (Cc: tigli@unice.fr) before Sunday the 14th of Feb ==

  * Please send in an email with de Subject: 

[<Name of the student1> - <Name of the student2> - MIT 2016 SYNCHRONOUS LANGUAGE PROJECT] 


Example : [Tigli - Lavirotte - MIT 2016 SYNCHRONOUS LANGUAGE PROJECT]



  * Put in attachement 
    * All the sources files of your project : the LE file, Galaxy files ,WComp project files(generated beans from LE, wcc..) ... 
    * a README File to describe the project, to explain the role of the different files and how to use them in a demonstration of your project. 


===== Main Conferences and Journals =====

----

[[http://ubicomp.org/ubicomp2014/|UbiComp Internation Conferences (also Pervasive Computing Conference and Internation Symposium on Wearable Computer]]

[[http://www.middleware-conference.org/|Middleware Internation Conferences]]



===== Books =====

{{ :cours:wiley.jpg?direct&100|http://books.google.fr/books?id=bF_hfluZigsC&pg=PT58&lpg=PT58&dq=tigli+editeur+sedes+wesley&source=bl&ots=NQftqA4JpD&sig=ArzwCVPS2H26Wh-Q3kxBLmotBPI&hl=fr&sa=X&ei=UpClUpziJ-O-0QWSloH4CQ&ved=0CDIQ6AEwAA#v=onepage&q=tigli%20editeur%20sedes%20wesley&f=false }}

{{ :cours:hermes.jpg?100|http://books.google.fr/books?id=bF_hfluZigsC&pg=PT58&lpg=PT58&dq=tigli+editeur+sedes+wesley&source=bl&ots=NQftqA4JpD&sig=ArzwCVPS2H26Wh-Q3kxBLmotBPI&hl=fr&sa=X&ei=UpClUpziJ-O-0QWSloH4CQ&ved=0CDIQ6AEwAA#v=onepage&q=tigli%20editeur%20sedes%20wesley&f=false }}


[2013] Gaëlle Calvary, Thierry Delot, Florence Sèdes, **Jean-Yves Tigli**, editors. "Computer Science and Ambient Intelligence" 335 pages, ISTE Ltd and Wiley & Sons Inc, March 2013, ISBN 978-1-84821-437-8 

[2012] Gaëlle Calvary, Thierry Delot, Florence Sèdes, **Jean-Yves Tigli**. "Informatique et Intelligence Ambiante : des Capteurs aux Applications (Traité Informatique et Systèmes d'Information, IC2)" Hermes Science, July 2012, ISBN 2-7462-2981-1 


===== Videos =====
== Illustrations of Service Continuity Challenge in Ambient Systems ==

For Mobility : [[http://www.ambientcomp.fr/|AmbientComp Project]], [[http://www.dailymotion.com/video/xqj9gm_ambientcomp-integrateur-gb-hd_tech|AmbientComp Project]]
For Internet of Things : [[http://www.ubiflood.eu/|UbiFlood Project (Research Cooperation Programme with Asia)]], [[http://www.dailymotion.com/video/x10mnn4_ubiflood_tech|UbiFlood Project]]

== Illustrations of UbiComp Middleware to facilitate Service Continuity Design in Ambient Systems ==

For Mobility : [[http://continuum.unice.fr/demo|Continuum Project (National Research Agency)]], [[http://continuum.unice.fr/demo|Continuum Project Videos]]