JY Tigli Homepages

Ceci est une ancienne révision du document !

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 (To : tigli@polytech.unice.fr, Subject : [MUC Project] ) 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 et 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
Stéphane Dupin et Laurie Trichet-Fougère	5	Function MessageBox / Oneaccess
Stephane Trepier	6	Function MessageBox / Allaccess
Samy Carmouche et Vincent Choury	7	Function TextToSpeech OneAccess
Thao Nguyen	8	project Function 10*, with the following function: node OneaccessNewvalue(customer_arrival: bool) returns (seat_num: int); With this function, I model a automatic checker at the entrance of a cinema. Assuming that the customer has an electronic ticket with the information of seat number written on it.
Mariem Abdelmoula	9	Function MessageBox / Allaccess
Nicolas Theroude	10	Function TextToSpeech AllAccess
Giuseppe Reina & Claudio Salmin	11	Function Beep/ Oneaccess
Tuan Tran Thai	12	Function beep/ AllAccess
Emilie Thibault et Alexandre Trovato	13	Fonction DialogBox AllAccess
ZARATI Aymen et BAKLOUTI Raoudha	14	MessageBox Thisaccess
Steve Colombié, Karim Matrah	15	Function Beep/ Oneaccess
Zarati	16	MessageBox Thisaccess
	17
	18
	19
	20
	21
	22
	23
	24
	25
	26
	27
	28
	29
	30
	31
	32
	33
	34
	35
	36
	37
	38
	39
	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)

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