Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
cours:mit_2016_2017 [2016/12/13 07:09] tigli [Lecture 4 : Synchronous language for formal validation - application to CEP (complex event processing)] |
cours:mit_2016_2017 [2017/12/17 10:44] tigli [ARCHIVES] |
||
---|---|---|---|
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 95: | Ligne 102: | ||
==== Lecture 3 : Practical session on Event based Middleware and CEP with MQTT ==== | ==== Lecture 3 : Practical session on Event based Middleware and CEP with MQTT ==== | ||
---- | ---- | ||
- | * Lecturer : J.Y. Tigli | + | * 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 | + | ** IoT : MQTT - OASIS standard / Tutorial MQTT ** |
+ | {{:cours:2016_2017_mit_mqtt_lecture_2_.pdf|Introduction to MQTT}} | ||
- | {{:cours:2015_2016_mit_mqtt_lecture_2_.pdf|Introduction to MQTT}} | + | {{:cours:tutorial_mqtt_mit_2016_2017.pdf|Event based Middleware and CEP : MQTT tutorial}} |
- | + | ||
- | + | ||
- | {{:cours:tutorial_mqtt_mit_2015_2016.pdf|Event based Middleware and CEP : MQTT tutorial}} | + | |
For more details about MQTT messages format and protocol, see : | For more details about MQTT messages format and protocol, see : | ||
[[http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.pdf| MQTT Version 3.1.1 OASIS Standar 29 October 2014]] | [[http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.pdf| MQTT Version 3.1.1 OASIS Standar 29 October 2014]] | ||
+ | |||
+ | Other materials : | ||
+ | * [[https://drive.google.com/drive/folders/0B1OVfVi766myZFpIcXNmc1VYaUU?usp=sharing|Zip file of the Vmplayer directory for a Linux Ubuntu Virtual Machine]] | ||
+ | * [[http://www.clubic.com/telecharger-fiche15594-vmware-player.html|Vmplayer Workstation Download]] | ||
|| | || | ||
Ligne 120: | Ligne 129: | ||
* Prerequisites : c programming, notions of logic and automata theory | * 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 | + | 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: | 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 ==== | ==== Lecture 5 : Web of Things : for Physical Data or Physical Device ==== | ||
Ligne 137: | Ligne 148: | ||
From IoT to WoT/WSD - Tutorial HTTP/CoAP - WS/REST - WSD | 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}} | {{: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 154: | Ligne 168: | ||
[[http://trolen.polytech.unice.fr/cours/mit/|Materials for the lecture and the practical course]] | [[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 162: | Ligne 176: | ||
Lecturer : G. Rocher, GFI Informatique | 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 ==== | ==== Lecture 8 : Final Exam ==== | ||
Ligne 204: | Ligne 221: | ||
===== ARCHIVES ===== | ===== 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 ]] |