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

JY Tigli Homepages

Panneau latéral

Accueil

Apprentissage

Enseignements

Recherche

Valorisation de la Recherche

Pédagogie Innovante

Relations industrielles et socio-économique

Organisation de Manifestations

Animation de la Recherche

U-Santé

Privé

Outils

Sources d'Informations

Middleware for Ubiquitous Computing

Lecture 1 : Introduction to Middleware for Ubiquitous Computing

Lecture 2 : Verification in Middleware for Ubiquitous Computing

Lecture 3 : Tutorials : WComp Middleware and proved components

Lecture 4 : From Web Services Middleware to Web Services for Device Middleware

Student Projects

JY Tigli Homepages

Outils pour utilisateurs

Outils du site

Panneau latéral

Accueil

Apprentissage

Enseignements

Recherche

Valorisation de la Recherche

Pédagogie Innovante

Relations industrielles et socio-économique

Organisation de Manifestations

Animation de la Recherche

U-Santé

Privé

Outils

Sources d'Informations

Middleware for Ubiquitous Computing

Lecture 1 : Introduction to Middleware for Ubiquitous Computing

Lecture 2 : Verification in Middleware for Ubiquitous Computing

Lecture 3 : Tutorials : WComp Middleware and proved components

Lecture 4 : From Web Services Middleware to Web Services for Device Middleware

Student Projects

Outils de la page