Différences

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

--- cours:mit_2016_2017 [2017/01/02 16:41] – [Lecture 3 : Practical session on Event based Middleware and CEP with MQTT] tigli
+++ cours:mit_2016_2017 [2017/12/17 09:44] (Version actuelle) – [ARCHIVES] tigli
@@ Ligne 24: / Ligne 24: @@
 **//
+===== Evaluation Rules : =====
+  - Lecture 4 : Tutorial evaluation of the Modeled Complex Event Processes using Synchronous languages approaches and model checking
+  - During Lecture 6 : MCQ about all the courses and tutorials before
+  - Final exam 02/07/17 : MCQ about all the courses and tutorials before and reading and comments on given technological and research paper about IoT.
@@ Ligne 100: / Ligne 107: @@
 ** IoT : MQTT - OASIS standard / Tutorial MQTT **
-{{:cours:2015_2016_mit_mqtt_lecture_2_.pdf|Introduction to MQTT}}
+{{:cours:2016_2017_mit_mqtt_lecture_2_.pdf|Introduction to MQTT}}
 {{:cours:tutorial_mqtt_mit_2016_2017.pdf|Event based Middleware and CEP : MQTT tutorial}}
@@ Ligne 122: / Ligne 129: @@
   * Prerequisites : c programming, notions of logic and automata theory
-Lecture: Safety in Middleware for IoT
+Lecture: Synchronous language for formal validation - application to CEP (complex event processing)
-{{http://www-sop.inria.fr/members/Annie.Ressouche/pdf/Lecture_MUC_UBINET_Verif_2015_2016.pdf|Slides}}
+{{http://www-sop.inria.fr/members/Annie.Ressouche/pdf/Lecture_MUC_UBINET_Verif_2016_2017.pdf|Slides}}
 Tutorial: Creating a Validated CEP node in a MQTT approach
+{{http://www-sop.inria.fr/members/Annie.Ressouche/pdf/Tutorial_MUC_UBINET_Verif_2016_2017.pdf|Text}}
 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)
+  - CLEM: the clem tools useful to design a synchronous road information component {{http://www-sop.inria.fr/members/Annie.Ressouche/zip/clem_software.tgz|Clem software}}. This archive contains **clem**, **blif_simul** and **galaxy** software for linux 64 bits and clem for linux 32 bits. For linux 32 bits, here are {{http://www.unice.fr/dgaffe/recherche/outils_blif.html|**blif_simul**}} and {{http://www.unice.fr/dgaffe/recherche/automaton_tools.html|**galaxy**}}. You should put them in a "bin" folder and add the path to this folder in the environment variable **PATH** of your linux system.
+  - VERIFICATION: The  {{http://www-sop.inria.fr/members/Annie.Ressouche/zip/clem_verif.tgz|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.
+  - C CODE:  Some{{http://www-sop.inria.fr/members/Annie.Ressouche/zip/MQTT_c_code.tgz| C files }} to help the definition of the MQTT client which contains the CEP validated node defined in your tutorial.
 ==== Lecture 5 : Web of Things : for Physical Data or Physical Device ====
@@ Ligne 139: / Ligne 148: @@
 From IoT to WoT/WSD - Tutorial HTTP/CoAP - WS/REST - WSD
-{{:cours:2015_2016_iot_lecture_3_service_oriented_middleware_for_iot.pdf|Service oriented Middleware and IoT}}
-{{:cours:tutorial_coap_mit_2015_2016.pdf|Tutorial on HTTP RESTFul and CoAP}}
+{{:cours:2016_2017_iot_lecture_3_service_oriented_middleware_for_iot.-_rest_and_coap.pdf|Service oriented Middleware and IoT}}
+{{:cours:tutorial_rest_coap_mit_2016_2017.pdf|Tutorial on HTTP RESTFul and CoAP}}
+  * Other References :
 {{:cours:coap_simple_service.zip| 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, [[https://hal.inria.fr/inria-00415919/document|pdf file]]
@@ Ligne 156: / Ligne 168: @@
 [[http://trolen.polytech.unice.fr/cours/mit/|Materials for the lecture and the practical course]]
-==== Lecture 7 : Advanced MIT : SWoT & Semantic Interoperability (G. Rocher) - Opportunistic Composition ====
+==== Lecture 7 : Advanced MIT : SWoT & Semantic Interoperability (G. Rocher)  ====
 ----
@@ Ligne 164: / Ligne 176: @@
 Lecturer : G. Rocher, GFI Informatique
-{{:cours:lecture_6_swot.pdf|| Slides of the course on Semantic Web of Things}}
+  * {{:cours:swot.pdf| Slides of the Lecture on Semantic Web of Things }}
+  * {{:cours:swot_tutorial.pdf| Tutorial on Semantic Web of Things }}
+  * {{:cours:tutorial_files_owl_for_swot.zip|Package of files .owl  for the tutorial}}
 ==== Lecture 8 : Final Exam ====
@@ Ligne 206: / Ligne 221: @@
 ===== ARCHIVES =====
-[[cours:mit_2015_2016|Middleware for Internet of Things (IFI/SI5/Unbinet)]]
+[[cours:mit_2015_2016|Middleware for Internet of Things (IFI/SI5/Unbinet) 2015 2016]]
+[[cours:mit_2016_2017|Middleware for Internet of Things (IFI/SI5/Unbinet) 2016 2017]]
+===== EVOLUTIONS futures =====
+[[cours:mit_2017_2018|Evolutions 2017 2018 ]]