Outils pour utilisateurs

Outils du site


Panneau latéral

Accueil

Select other language :


Apprentissage

Enseignements

Enseignements Département Informatique SI5 et Master IFI

Enseignements Département Bâtiment Polytech'Nice

Autres Formations française et étrangère

Activités administratives, Ingénierie et Innovation Pédagogiques

Apprentissage Département Informatique SI5/Master 2 ingénierie informatique EUR DS4H


Recherche

Valorisation de la Recherche

Dépôts Logiciels à l’Agence de Protection des Programme (APP)

Valorisation des résultats de recherche et transfert

Diffusion de la Culture scientifique et Technologique

Communications de presse

Séminaire ENSI Tunis

Pédagogie Innovante

Relations industrielles et socio-économique

Organisation de Manifestations

  • Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
  • Journées UbiMob'14 Site Web

Animation de la Recherche

U-Santé

Privé

Outils

Sources d'Informations

cours:mit_2015_2016

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

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

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

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:

  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

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

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
Illustrations of UbiComp Middleware to facilitate Service Continuity Design in Ambient Systems
cours/mit_2015_2016.txt · Dernière modification: 2016/09/06 11:47 par tigli