Outils pour utilisateurs
muc_2010_2011_lecture3
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
|
muc_2010_2011_lecture3 [2011/01/04 08:28] tigli créée |
muc_2010_2011_lecture3 [2011/01/04 08:32] (Version actuelle) tigli [Ressources :] |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| {{:mucimg.jpg|}} | {{:mucimg.jpg|}} | ||
| - | ====== Lecture 3 : Wcomp middleware and proved components ====== | + | ====== Lecture 3 : Wcomp middleware Tutorial ====== |
| - | * Date : January, 5th 2010 | + | * Date : January, 4h 2010 |
| - | * Instructor : J.-Y. Tigli | + | * Instructor : V. Hourdin |
| - | * Duration : 3h | + | * Duration : 4h |
| - | + | ||
| - | + | ||
| - | ===== Part 1 : How to Design Components in a Middleware for Ubiquitous Computing WComp 2.0 ===== | + | |
| - | + | ||
| - | + | ||
| - | * Date : December, 15th 2009 | + | |
| - | * Instructor : A. Ressouche - J-Y. Tigli | + | |
| - | * Duration : 3h | + | |
| ==== Ressources : ==== | ==== Ressources : ==== | ||
| - | * Tutorial slides : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/Tutorial1_MUC_UBINET_2010_Slides.pdf|Middleware for Ubiquitous Computing WComp 2.0]] | + | * Tutorial paper : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/MUC 2010 2011/Tutorial3_MUC_Ubinet_2011.pdf|Tutorial : Middleware for Ubiquitous |
| - | * Tutorial paper : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/Tutorial1_MUC_Ubinet_2010_Doc.pdf|Middleware for Ubiquitous Computing WComp 2.0]] | + | Computing, WComp 2.4]] |
| - | + | ||
| - | + | ||
| - | + | ||
| - | * VMware WComp environment iw distributed on DVD and USB Key during the lecture. | + | |
| - | * Remark : If you're under linux be careful : replace the configuration file of your virtual machine vmplayer by [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/ |this one ]] and then after running, start the audio service | + | |
| - | * Remark : Find here a Light UPnP server if you need [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/ |UPnP Light]] | + | |
| - | + | ||
| - | * Correction : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/Correction.zip |Tutorial correction]] | + | |
| ==== References : ==== | ==== References : ==== | ||
| Ligne 34: | Ligne 18: | ||
| * J.-Y. Tigli, S. Lavirotte, G. Rey, V. Hourdin, D. Cheung, E. Callegari, M. Riveill “WComp middleware for ubiquitous computing: Aspects and composite event-based Web services” in Annals of Telecommunications, éditeur Springer Paris, ISSN 0003-4347 (Print) 1958-9395 (Online), Vol. 64, No 3-4, March-April 2009, {{http://www.springerlink.com/content/x833j0143h133v67/fulltext.pdf|paper}}. | * J.-Y. Tigli, S. Lavirotte, G. Rey, V. Hourdin, D. Cheung, E. Callegari, M. Riveill “WComp middleware for ubiquitous computing: Aspects and composite event-based Web services” in Annals of Telecommunications, éditeur Springer Paris, ISSN 0003-4347 (Print) 1958-9395 (Online), Vol. 64, No 3-4, March-April 2009, {{http://www.springerlink.com/content/x833j0143h133v67/fulltext.pdf|paper}}. | ||
| - | ===== Part 2 : How to Design Proved Components in WComp Middleware ===== | ||
| - | |||
| - | * Documentation for the tutorial 3 " Verification with Lustre and Lesar " : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial3_MUC_Ubinet_2010_Doc.pdf|Tutorial 3, Verification with Lustre and Lesar]] | ||
| - | * Sample code in Lustre: [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial3/|Tutorial 3, sample code in Lustre]] | ||
| - | * Documentation for the tutorial 2 "Creating an advanced Component in WComp 2.0" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial2_MUC_Ubinet_2010_Doc.pdf|Tutorial 2, Creating an advanced Component in WComp 2.0]] | ||
| - | |||
| - | ===== Part 3 : Student Projects ===== | ||
| - | |||
| - | Students must provide : | ||
| - | * A Proved Bean Component (lustre checked code, corresponding C code generated, corresponding Bean code) | ||
| - | * A sample WComp assembly to illustrate how this proved component works. | ||
| - | * A document with all necessary explanations | ||
| - | |||
| - | Put all these files and documents on a web site and send them to JY Tigli before february, the 1st, 2010. | ||
muc_2010_2011_lecture3.1294126108.txt.gz · Dernière modification: 2011/01/04 08:28 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
