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

Lecture 5 : Adaptive Middleware and Aspect of Assembly

Date : January, 19th 2010
Instructor : JY Tigli
Duration : 3h

Ressources : Lecture5

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
Bamba Inza	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* may be :

MessageBox Function ()
DialogBox Function ()
TexttoSpeech function ()
Beep function ()
… (you can find other functions in Win32 API)

anykind of function that allows to see and bring to light, the result of your synchronization mecanism

Final Examination

Students must :

compose groups of 3 to 4 students
choose 5 papers in the list below and send to JY Tigli by email (tigli@polytech.unice.fr) the list of the students in the group and the 5 chosen papers, before wenesday the 20th of january, in the evening.

The 21 th of january, the list below will be completed with one group for each paper.

Then, each group of students must :

provide an abstract of the read paper (no more than 2 pages, ACM Format).
give a talk presentation on their paper during 15 minutes (+5 minutes for questions) on february the 2nd in the morning between 8h30 and 12h45.
put the abstract and the slides of their talk on a web site and send the url to JY Tigli (tigli@polytech.unice.fr) before february, the 2nd, 2010.

Deadline : february, the 2nd, 2010