The lab introduction slides can be found here (ppt file).

The lab description can be found here (docx file) and here (pdf file).

For this lab you should use PRIDE (same as lab2), and as part of it the REMES editor. Tool demo about the REMES editor is available here.

The required lab deliverable is a zip file containing your projects including the report of your behavioral models.

WARNING: The system forbids resubmission => Only 1 submission per lab
WARNING: The system forbids big file upload (file size limit is 10 Mo). Check that your submition has been uploaded, if not, reduce your zip file size and resubmit.
ALL the reports (zip file) must be imperatively submitted on the lab submission website: by Friday (2011-02-11) 23:59h.
For groups, the TWO members of the group have to submit individually the common files.