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 :


Course Agenda et Examination Modalities

Lecture 1 : Introduction to Middleware for Internet of Things


Materials :

Introduction to Internet of Things (IoT)

Middleware, Communication Models and IoT

Introduction to MQTT

Lecture 2 : Practical session on Event based Middleware and CEP with MQTT


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

Lecture: Safety in Middleware for IoT Slides

Lecture 5 : Tutorial on Service for Device Composition

Materials for the lecture and the practical course

Lecture 6 : Tutorial on Formal Model for software composition using synchronous language programming

Tutorial: Creating a Validated Cross Roads Component in WComp TP

Material:

  1. 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)
  2. 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

| Slides of the course on Semantic Web of Things

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

Course Summary and Plan

Evaluation

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

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

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

Main Conferences and Journals


UbiComp Internation Conferences (also Pervasive Computing Conference and Internation Symposium on Wearable Computer

Middleware Internation Conferences

Books

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

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