Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

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. »

Evaluation Calendar

  • Tutorial on Synchronous Language and CEP (depends on lecturers, no before 25/02)
  • Final Evaluation : Exam Paper (Tuesday 27 Feb)
    • Without document
    • MCQ and open questions on all the courses of the module
  • Student Paper : (Sunday, 4 March)

Course Agenda :

Lectures and Personnal Works

Evaluation Rules :

  1. Evaluation of a Practical Course : Evaluation from the Tutorial of the Modeled Complex Event Processes using Synchronous languages approaches and model checking
  2. During Lecture 30/1/18 * : one or more MCQ about all the courses and tutorials before
  3. Other Evaluation during lecture 20/02/18 : MCQ about all the courses and tutorials before.
  4. Personnal Work : Writing of a short survey paper about a technological or research topic in the field of IoT

(*) optionnal

Lecture 1 : Introduction to Middleware for Internet of Things

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

Middleware for Internet of Things, a survey on the interoperability challenge and communications patterns

Materials :

Introduction to Internet of Things (IoT)

!classical Middleware and Communication Models

Lecture 2 : LPWA networks - Tutorial LoRa

  • Lecturer : L. Gomez, SAP Research (canceled)
  • Prerequisites : c and c++ programming, python programming

Low Powered Network for the Internet of Things

Low Power Network for the internet of Things

Use LoRa network with the SAP Hana Cloud

Source Code .c, .cpp and .py for tutorial

Other references

Low Power Wide Area Networks: An Overview , Usman Raza, Parag Kulkarni, and Mahesh Sooriyabandara, Toshiba Research Europe Limited, UK,Cornell University online Library, arXiv.org pdf

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

  • Lecturer: J.Y. Tigli and G. Rocher
  • Requirements : shell and C# programming (can be replace by C programming), windows PC with Visual Studio and Vmplayer with a linux virtual machine.

IoT : MQTT - OASIS standard / Tutorial MQTT

Introduction to 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

Other materials :

Lecture 4 : Synchronous language for formal validation - application to CEP (complex event processing)

  • Lecturers : I. Sarray & A. Ressouche
  • Prerequisites : c programming, notions of logic and automata theory

Lecture: Synchronous language for formal validation - application to CEP (complex event processing) Slides

Tutorial: Creating a Validated CEP node in a MQTT approach Text


  1. CLEM: the clem tools useful to design a synchronous road information component Clem software. This archive contains clem, blif_simul and galaxy software both for linux 64 bits and for linux 32 bits. You should put them in a “bin” folder and add the path to this folder in the environment variable PATH of your linux system.
  2. VERIFICATION: The Clem verification tools must be installed from xeve.tgz and NuSMV-2.6.0.tgz archives (see the tutorial for both xeve and NuSMV installation). You should also add the xeve and the NuSMV software to your “bin” folder. Moreover, a NuSMV executable file is in the archive to be used if it is running in your linux system.
  3. C CODE: Some C files to help the definition of the MQTT client which contains the CEP validated node defined in your tutorial.

Notice: It is mandatory to have Linux operating system.

Lecture 5 : Web of Things : for Physical Data or Physical Device

  • Lecturers : S. Lavirotte & J.-Y. Tigli

From IoT to WoT/WSD - Tutorial HTTP/CoAP - WS/REST - WSD

Service oriented Middleware and IoT

Tutorial on HTTP RESTFul and CoAP

  • Other References :

Zip file of a .Net C# solution with a simple CoAP client and server based on CoAP.Net library

A Perspective on the Future of Middleware-based Software Engineering, Valérie Issarny, Mauro Caporuscio, Nikolaos Georgantas, Workshop on the Future of Software Engineering : FOSE 2007, 2007, Minneapolis, United States. pp.244-258, 2007, pdf file

Lecture 6 : WSD and WSD composition in the cloud - tutorial Ubiquaria

Lecture 7 : Advanced MIT : SWoT & Semantic Interoperability (G. Rocher)

Lecture 8 : Test and Review of students Papers

Review of students Papers before last version one Week after (DEADLINE).

Personnal Work : Write your own paper

Main Conferences and Journals

Other References




[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


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


cours/mit_2017_2018.txt · Dernière modification: 2018/02/20 07:27 par tigli
Piste: Middleware for Internet of Things
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0