Différences

Ci-dessous, les différences entre deux révisions de la page.

--- muc_2009_2010_lecture3 [2010/01/04 17:10] – tigli
+++ muc_2009_2010_lecture3 [2010/01/05 07:25] (Version actuelle) – tigli
@@ Ligne 40: / Ligne 40: @@
   * Documentation for the  tutorial 2 "Creating an advanced Component in WComp 2.0" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial2_MUC_Ubinet_2010_Doc.pdf|Tutorial 2, Creating an advanced Component in WComp 2.0]]
-===== Student Projects =====
+===== Part 3 : 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 them to JY Tigli before  february, the 1st, 2010.
 Deadline : february, the 1st, 2010
 ^ Student Name      ^ Cursus (SI5 / Uibnet)        ^ Project Number          ^ Project Titlte ^ Subject       ^
-|    |  |  0   | Barrier  | A barrier is a type of synchronization method. A barrier for a group of threads or processes in the source code means any thread/process must stop at this point and cannot proceed until all other threads/processes reach this barrier  |
+|    |  |  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.  |
+|    |  |  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 |
-|    |  |  2   |   |   |
+|    |  |  2   | Arbitration | Arbitration between input events  |
-|    |  |  3   |   |   |
+|    |  |  3   | Average   | Average value is emitted from the values of input events |
-|    |  |  4   |   |   |
+|    |  |  4   | Moving average  | Average value is emitted from the values of input events  |
-|    |  |  5   |   |   |
+|    |  |  5* | Function* Allaccess  | returned value of one external DLL function is emitted when all value parameters  are available (triggered on all input events) |
-|    |  |  6   |   |   |
+|    |  |  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   |   |   |
+|    |  |  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   |   |   |
+|    |  |  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   |   |   |
+|    |  |  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   |   |   |
+|    |  |  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   |   |   |