Différences

Ci-dessous, les différences entre deux révisions de la page.

--- cours:mit_2015_2016 [2016/01/11 09:17] – [Lecture 4 : Course on Formal Model for Software Composition] ressouche
+++ cours:mit_2015_2016 [2016/09/06 09:47] (Version actuelle) – [Lecture 1 : Introduction to Middleware for Internet of Things] tigli
@@ Ligne 47: / Ligne 47: @@
 {{:cours:2015_2016_mit_mqtt_lecture_2_.pdf|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 ====
 ----
@@ Ligne 75: / Ligne 87: @@
 ==== Lecture 4 : Course on Formal Model for Software Composition ====
   * Lecturer Annie Ressouche
+Lecture: Safety in Middleware for IoT
+{{http://www-sop.inria.fr/members/Annie.Ressouche/pdf/Lecture_MUC_UBINET_Verif_2015_2016.pdf|Slides}}
+==== Lecture 5 : Tutorial on Service for Device Composition  ====
+[[http://trolen.polytech.unice.fr/cours/mit/|Materials for the lecture and the practical course]]
+==== 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
+{{http://www-sop.inria.fr/members/Annie.Ressouche/pdf/Tutorial_MUC_UBINET_Verif_2015_2016.pdf|TP}}
+Material:
+  - CLEM: the clem tools useful to design a synchronous cross roads component in WComp {{http://www-sop.inria.fr/members/Annie.Ressouche/zip/clem_software.zip|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 {{http://www-sop.inria.fr/members/Annie.Ressouche/zip/WCompCrossRoad.zip|Wcomp library}}. We refer to the tutorial where there is a detailed description of this library use.
+==== Lecture 7a : Semantic Web of Things ====
+|||
+{{:cours:lecture_6_swot.pdf|| Slides of the course on Semantic Web of Things}}
+==== Lecture 7b : Summary and Plan of the overall MIT course ====
+|||
+{{:cours:2015_2016_iot_lecture_7_middleware_for_internet_of_things_summary.pdf|Course Summary and Plan}}
+==== 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]
-==== Lecture 5 : Tutorial on Software Composition and Formal Model using synchronous language programming ====
+  * 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.