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	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

Function* can be : MessageBox Function () DialogBox Function () TexttoSpeech function () … anykind of function that allows to see the result of your synchornization mecanism