JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Piste : • Few reminders about WCF ABC Model
cours:mit_2016_2017

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
cours:mit_2016_2017 [2017/01/02 16:36] – [Lecture 3 : Practical session on Event based Middleware and CEP with MQTT] tiglicours: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 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 16:36 de tigli