Ceci est une ancienne révision du document !
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 :
Lecture 1 : Introduction to Middleware for Internet of Things
- Lecturer : J.-Y. Tigli
- Author : J.-Y. Tigli
Materials :
Introduction to Internet of Things (IoT)
Middleware, Communication Models and IoT
- 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)
- Les réseaux Large Scale / Low Power représentent un enjeu majeur pour les Limitation bande passante / Endormissement-Réveil / envoie de données
Lecture 2 : Practical session on Event based Middleware and CEP with MQTT
- J.Y. Tigli
Event based Middleware and CEP : MQTT tutorial
For more details about MQTT messages format and protocol, see :
MQTT Version 3.1.1 OASIS Standar 29 October 2014
Lecture 3 : Web of Things : for Physical Data or Physical Device
Service oriented Middleware and IoT
Tutorial on HTTP RESTFul and CoAP
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 Slides
Lecture 5 : Tutorial on Service for Device Composition
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 TP
Material:
- CLEM: the clem tools useful to design a synchronous cross roads component in WComp 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 Wcomp library. We refer to the tutorial where there is a detailed description of this library use.
Lecture 7a : Semantic Web of Things
Lecture 7b : Summary and Plan of the overall MIT course
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
Books
[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 : AmbientComp Project, AmbientComp Project For Internet of Things : UbiFlood Project (Research Cooperation Programme with Asia), UbiFlood Project
Illustrations of UbiComp Middleware to facilitate Service Continuity Design in Ambient Systems
For Mobility : Continuum Project (National Research Agency), Continuum Project Videos