For those of you interested in inspecting your exam, there will only one appointment on 4th March between 13:00 and 17:00 hours. You will have to send an e-mail until Friday 1st March noon in order to be able to come. If you don't send any e-mail, we won't be able to accommodate you for the inspection.

Important Notice

Munich, 9th October 2012

We have had too many registrations (over 70) for the coming term. However, we can only accommodate 30 students (the first 30 who registered). We kindly ask ONLY these students to come to the first class. If any of these 30 students misses the first class, his or her place will be given to someone else. If this happens to be the case, we will contact the next students on the waiting list by e-mail. We want to guarantee that those who attend the lecture make sensible use of the limited resources or just leave their place to others who are interested. For this reason, following attendance policy will be implemented:

- as stated above, the first lecture is compulsory,
- students who miss more than one class will not be allowed to sit for the exam.

Brief Description 

Most embedded systems have to function under certain real-time constraints. Developing applications for such systems requires programming languages and abstractions which are substantially different from those used for developing desktop applications. The aim of this module is to introduce different real-time programming models and programming languages corresponding to each of these models. 

Administrative Information

• This is a 6-credit course consisting of lectures (2 hours per week) and an associated lab (also 2 hours per week).

• The lectures take place on Tuesdays from 10:00 to 12:00 (noon) in the room 3999 (Building 9).

• The lab is also going to be held on Tuesdays from 13:00 to 15:00 at RCS on the 4th floor. The lab starts on 30/10/12 onwards.

• Reading materials for every class will be published on this web page.

•  A user account and a password are required for accessing documents on this page. These will be disclosed in the first class (16/10/12).

• There is no mid-term exam, but an open-book final exam at the end of the course. The lab exercises will also be graded.

Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.