Persönlicher Status und Werkzeuge

Real-Time Programming Languages [WS only]


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 (for example the synchronous language Esterel, which is shown in the video) corresponding to each of these models.

Pololu 3pi Robot with custom piggy-back extension board
openGL simulation of the robot
The time-triggered language "Giotto"

Important Notice

Munich, Sept. 30th 2013

We have had too many registrations for the upcoming 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.

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:15am to 12:15 in the room 3999 (TUM Room Finder).
  • The lab is also going to be held on Tuesdays from 13:15 to 15:15 at RCS on the 4th floor. The lab starts on October 29th onwards.
  • Exercises, reading materials etc for every class will be published on Moodle.
  • There is an optional mid-term exam in the form of homework to be submitted in Moodle.
  • The final exam at the end of the course is closed-book.

Course Material

Lecture Slides, reading materials, exercises etc. are now available on Moodle! A TUMOnline account is required to access the e-learning course. If you do not have a TUMOnline login, please contact me.

Schedule

Note: Schedule may change without prior notice.

Date

Contents
22/10/13 Introduction to the lecture & lab
29/10/13 Esterel (1)
05/11/13 Esterel (2)

12/11/13

no lecture because of SVV

19/11/13

Model Checking

26/11/13

Lustre

03/12/13

Signal

10/12/13

Giotto

14/01/14

Giotto

21/01/14

Architecture & WCET analysis
28/01/14 Compiling Esterel & Wrap-up
04/02/14 Final Exam

Contact

Martin Becker

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