Assignments in Real-Time Systems, fall 2002

Assignments page for Real Time Systems TF and EIP course given fall 2002.

• Engineering Physics (Teknisk Fysik) should do assignment 1 (LegOS) and assignment 3 (Uppaal). Assignment 2 (fpscalc) can be done as an exercise
• Elektroingenjörerna should do all three labs

Assignments should be carried out in pairs (except the BrickOS assignment). When they are finished they should be put (with cover page and all required parts) in Tobias Amnells postbox, by the copy machine, house 1, level 4. Corrected assignments can be collected from a folder marked RT systems TF and EIP - HT01 in the bookshelf outside room 258, house 1, level 2.

News

• 2002-12-02: Final maze now ready. Contact lab-assistant to test your robot. Results here.
• 2002-11-28: Room for fpscalc lab today: 1549
• 2002-11-19: Made some clarifications about the maze layout, and aded a picture.
• 2002-11-19: Updated legos command reference available. Now includes documentation of semaphore calls.
• 2002-11-19: Changed specification for maze. The silver patches will be placed above the intersections in the maze.
• 2002-11-12: Fixed problems with cygwin/legos installation. Updated instructions can be found on instruction page
• 2002-11-12: Decided to use legos 0.2.6 for the course since it works better with newer Cygwin than earlier versions.
• 2002-10-24: Course starts

Assignments

There will be three assignments:

1. Programming Lego Mindstorms using BrickOS
   Slides: (.ppt)
   Lab: 14 november 2002
   Deadline: 11 december 2002.
2. (Only EIP) Schedulability Analysis Assignment using FpsCalc.
   Slides: (.ppt)
   Lab: 28 november 2002, room 1549
   Deadline: 19 december 2002.
   
3. Uppaal Modelling Assignment (.html) using Uppaal.
   Slides: (.ppt)
   Lab: 11 december 2002 room 1515
   Deadline: 19 december 2002.
   

Working@Home

For Uppaal see Uppaal website.
For FpsCalc see FpsCalc webpage.
To run BrickOS at home on a Linux or Windows see the Running BrickOS at Home page.