Outils pour utilisateurs
cours:mit_2016_2017
Différences
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 [2017/01/02 17:36] tigli [Lecture 3 : Practical session on Event based Middleware and CEP with MQTT] |
cours:mit_2016_2017 [2017/12/17 10:44] (Version actuelle) 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 and G. Rocher | + | * 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 : | ||
| Ligne 112: | Ligne 117: | ||
| Other materials : | Other materials : | ||
| * [[https://drive.google.com/drive/folders/0B1OVfVi766myZFpIcXNmc1VYaUU?usp=sharing|Zip file of the Vmplayer directory for a Linux Ubuntu Virtual Machine]] | * [[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 123: | 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 140: | 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 157: | 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 165: | 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 207: | 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 ]] | ||
cours/mit_2016_2017.1483374990.txt.gz · Dernière modification: 2017/01/02 17:36 par tigli
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
