Lecture 3 : Wcomp middleware and proved components

Conférence sur les FabLabs, Alexandre Schneider, Professeur Agrégé en Génie Mécanique, Université de Reims Champagne-Ardenne Web
Journées UbiMob'14 Site Web

Privé

--- muc_2009_2010_lecture3 [2010/01/05 08:22]
tigli
+++ muc_2009_2010_lecture3 [2010/01/05 08:25] (Version actuelle)
tigli
@@ Ligne 41: / Ligne 41: @@
 ===== 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