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 understand different real-time programming models and programming languages (especially Esterel and Ada) corresponding to each of these models.

Administrative Information

  • Registration in TUMOnline is open from 2014 October 3rd, 4pm.
  • This is a 6-credit course consisting of lectures (2 hours per week) and an associated tutorial/lab (also 2 hours per week).
  • The lectures take place on Tuesdays from 10:15am to 12:15 in 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 14th onwards.
  • Exercises, reading materials etc for every class will be published on Moodle.
  • There is homework, that is graded and constitutes a part (40%) of the overall grade.
  • 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 Lecture Contents Lab
07/10/14 Introduction no lab
14/10/14 Lab Introduction Basic Esterel
21/10/14 Esterel (1) Esterel contd.

28/10/14

Esterel (2)
Esterel contd.

04/11/14

no lecture & no lab because of SVV

11/11/14

Model Checking MC in Esterel

18/11/14

Architecture & WCET analysis WCET in Esterel

25/11/14

Principles of Parallel Programming Multithreading

02/12/14

Ada (1) Ada (1)

09/12/14

Ada (2) Ada (2)
16/12/14 Lab projects (lecture is also lab time)
13/01/15 Lab projects (lecture is also lab time)
20/01/15 Q&A no lab
27/01/15 Final Exam no lab

Contact

Martin Becker




We are a member of the GNAT Academic Program of AdaCore



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.