muc_2009_2010
Ceci est une ancienne révision du document !
Middleware for Ubiquitous Computing
Lecture 1 : Introduction to Middleware for Ubiquitous Computing
- Date : December, 7th 2009
- Instructor : J.-Y. Tigli
- Duration : 3h
Ressources : Lecture1
Lecture 2 : Verification in Middleware for Ubiquitous Computing
- Date : December, 14th 2009
- Instructors : A. Ressouche and J.-Y. Tigli
- Duration : 4h
Ressources : Lecture2
Lecture 3 : Tutorials : WComp Middleware and proved components
- Date : January, 5th 2010
- Instructor : J.-Y. Tigli
- Duration : 3h
Ressources : Lecture3
Lecture 4 : From Web Services Middleware to Web Services for Device Middleware
- Date : January, 12th 2010
- Instructor : S. Lavirotte
- Duration : 3h
Ressources : Lecture4
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 the url to JY Tigli (tigli@polytech.unice.fr) before february, the 15th, 2010.
Deadline : february, the 15th, 2010
Student Name | Cursus (SI5 / Uibnet) | Project Number | Project Titlte | Subject |
---|---|---|---|---|
Remigiusz Modrzejewski | 0 | Barrier | A barrier is a type of synchronization method. A barrier for a group of event means any event must stop at this point and cannot proceed until all other events reach this barrier | |
1 | Lock | A lock is a synchronization mechanism for enforcing limits on access to a resource in an environment where there are many threads of execution. Locks are one way of enforcing concurrency control policies. Only one event is emitted at at time | ||
leclere - soussi | 2 | Arbitration | Arbitration between input events | |
Sami Raad | 3 | Average | Average value is emitted from the values of input events | |
CHOUNGMO FOFACK | 4 | Moving average | Average value is emitted from the values of input events | |
5* | Function* Allaccess | returned value of one external DLL function is emitted when all value parameters are available (triggered on all input events) | ||
6* | Function* Oneaccess | returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events) | ||
7* | Function* Thisaccess | returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events) | ||
8* | Function* AllaccessNewvalue | new returned value of one external DLL function is emitted when all value parameters are available (triggered on all input events and state change) | ||
9* | Function* OneaccessNewvalue | new returned value of one external DLL function is emitted as soon as at least on value parameter is available (triggered on one input events and state change ) | ||
10* | Function* OneaccessNewvalue | new returned value of one external DLL function is emitted as soon as one specific event arrive (triggered on one specific input events and state change) | ||
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.1263582464.txt.gz · Dernière modification : 2010/01/15 19:07 de tigli