02224  Real-Time Systems - General Information
Technical University of Denmark DTU
02224 Real-Time Systems        Spring 2012
General Information


Teachers

Michael R. Hansen (MRH)
Building 322, second floor, Room 212, tel. 4525 3727.
Email: mrh@imm.dtu.dk

Hans Henrik Løvengreen (HHL)
Building 322, ground floor, Room 015, tel. 4525 3763.
Email: hhl@imm.dtu.dk

Lectures and labs

The course activities take place every Thursday, 8.15-12.

Lectures will usually be given at 8.15-10.00 in Auditorium 13, Building 308.

Programming labs usually take place 10.00-12.00 in the E-databar, room 015, in the basement of Building 341.

Besides the lectures and the labs, you are supposed to work on your own on the mandatory assignement (see below). The expected average weekly workload is around 10 hours.

Material

The course material will consist of a number of notes and articles. These will ususally be available in PDF format on CampusNet Filesharing.

No particular textbook has to be obtained for the course.

WWW

The course homepage is    http://www.imm.dtu.dk/courses/02224

On this page, general information about the course plan, projects etc.  is to be found. Messages will usually be sent via CampusNet.

Tools

During the course, the verification tool UPPAAL will be extensively used. It is installed in the E-databar in building 341. The tool is freely available for both Linux, Windows and Mac, and you may install it on your own computer. You are recommended to install version 4.0.13. See links at the homepage.

Evaluation

The course will be evaluated by assessment of a mandatory assigment and a 2-hours written exam.

The assigment must be carried out in smalle groups (2-3 persons).

The assignment is a development project which is done in two stages, called called Assignment A and Assignment B.

Assignment A is set in week 4 of the course and a report on this part must be handed in no later than Friday March 30 (16.00).

The Assignment B is an extension of Assigment A and is set in week 8 of the course. A full report on the Assignment (A+B) is due at the end of the semester, Thursday May 10 (16.00).

Feedback will be given to Assignment A and due response to this is supposed to be taken into account for Assignment B.

The written exam will take place on Wednesday, May 16, 2012.

The assignment (parts A+B) and the written exam will be evaluated as a whole with approximately equal weight on each.


Hans Henrik Løvengreen, Mar 14, 2012