==== 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      ^ Cursus (SI5 / Uibnet)        ^ Project Number          ^ Project Titlte ^ Subject       ^
|   Remigiusz Modrzejewski  and Martín Ferrari  |  |  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 |   |
|  Cyprien NICOLAS  |  |  16   | DialogBox / OneAccess   |   |
|  Amine Rouini   |  |  17   |  MessageBox AllaccessNewvalue  |   |
| Benabu Jeremy et Florent Joubert  |  |  18   | DialogBox / OneAccess  |   |
|   Rayan ARNAOUT et Thomas BALOUET |  |  19   |  fonction MessageBeep (http://msdn.microsoft.com/en-us/library/ms680356(VS.85).aspx) en allaccess |   |
|  Ali Makke  |  |  20  |  Function Beep/This access  |   |
|  Oscar Carillo  |  |  21   | light access   |   |
|  Yanwen Chen  |  |  22   |  Function Dialogbox/All Access |   |
|    |  |  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 [[http://msdn.microsoft.com/en-us/library/aa383686(VS.85).aspx|Win32 API]])
anykind of function that allows to see and bring to light, the result of your synchronization mecanism