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