Lab Assignments

The course offers four lab assignments:

1. Real-Time Programming using Ada
2. Programming in LEGO Mindstorms NXT
3. Response Time Analysis using FpsCalc
4. Modeling and Verification using UPPAAL

For each lab assignment, you need to hand in a report. You need to get a "passed" on all reports. Presence during lab hours is optional but highly recommended.

Deadlines: Each lab has a deadline and you should hand in your report before the deadline. Hand-ins after the deadline will be not graded and you will have to wait until the next course in autumn next year. Please take this seriously.