muc_2009_2010_lecture3
Ceci est une ancienne révision du document !
Lecture 3 : Wcomp middleware and proved components
- Date : January, 5th 2010
- Instructor : J.-Y. Tigli
- Duration : 3h
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 :
- Tutorial slides : Middleware for Ubiquitous Computing WComp 2.0
- Tutorial paper : Middleware for Ubiquitous Computing WComp 2.0
- 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 this one and then after running, start the audio service
- Remark : Find here a Light UPnP server if you need UPnP Light
- Correction : Tutorial correction
References :
- Vincent Hourdin, Jean-Yves Tigli, Stéphane Lavirotte, Gaëtan Rey, Michel Riveill, “SLCA, Composite Services for Ubiquitous Computing”, in the proceedings of the International Conference on Mobile Technology, Applications and Systems, Sep 2008.
- J.-Y. Tigli, S. Lavirotte, G. Rey, V. Hourdin, M. Riveill, “Lightweight Service Oriented Architecture for Pervasive Computing” IJCSI International Journal of Computer Science Issues, Vol. 4, No. 1, September 2009, ISSN (Online): 1694-0784, ISSN (Print): 1694-0814, 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, paper.
Part 2 : How to Design Proved Components in WComp Middleware
- Documentation for the tutorial 3 “ Verification with Lustre and Lesar ” : Tutorial 3, Verification with Lustre and Lesar
- Sample code in Lustre: Tutorial 3, sample code in Lustre
- Documentation for the tutorial 2 “Creating an advanced Component in WComp 2.0” : Tutorial 2, Creating an advanced Component in WComp 2.0
Student Projects
Deadline : february, the 1st, 2010
| Student Name | Cursus (SI5 / Uibnet) | Project Number | Subject |
|---|---|---|---|
| 0 | |||
| 1 | |||
| 2 | |||
| 3 | |||
| 4 | |||
| 5 | |||
| 6 | |||
| 7 | |||
| 8 | |||
| 9 | |||
| 10 | |||
| 11 | |||
| 12 | |||
| 13 | |||
| 14 | |||
| 15 | |||
| 16 | |||
| 17 | |||
| 18 | |||
| 19 | |||
| 20 | |||
| 21 | |||
| 22 | |||
| 23 | |||
| 24 | |||
| 25 | |||
| 26 | |||
| 27 | |||
| 28 | |||
| 29 | |||
| 30 | |||
| 31 | |||
| 32 | |||
| 33 | |||
| 34 | |||
| 35 | |||
| 36 | |||
| 37 | |||
| 38 | |||
| 39 |
muc_2009_2010_lecture3.1262624514.txt.gz · Dernière modification : 2010/01/04 17:01 de tigli
