Skip to main content
Department of Information Technology

Real-time Systems fall 2003



  • Assignment 3 - FpsCalc corrected.
  • RETURN THE LEGO-sets. A new course starts on friday (the 24:th)
  • Assignment 1 - legOS corrected.
  • Assignment 2 - Times corrected. Results, see below.
  • Example of how to use a semaphore
  • New version of Times installed with some bugfixes. Use your own name when you download!
  • Answers to frequently asked questions

Lecture notes

Tobias Amnells introduction:

Paul Pettserssons lecture on Uppaal:

Updated  2003-10-28 11:21:17 by Tobias Amnell.