Persönlicher Status und Werkzeuge

Real-Time Programming Languages [WS only]

Page is currently being updated, please come back soon for new information.

Most embedded systems — starting from controllers in automobiles to large-scale software in airplanes and industrial plants — have to work under certain real-time constraints. Such systems require a level of integrity and availability for which traditional mainstream programming techniques fail to provide guarantees. As a result, programming languages with strict semantics and inherent support for timing were developed, which bring abstractions specifically targeted towards developing safety-critical real-time systems. The aim of this module is to introduce the basic principles for programming such real-time systems, and to gain practical skills with relevant programming languages and verification tools.

First we study why real-time software substantially differs from Desktop applications, and why the development workflows have to be different from those for Desktop applications. Then we introduce the predominant real-time programming paradigms and highlight their differences. For each of the paradigms we learn the basics of one real-time programming language, in which we solve various programming tasks in the lab. Finally, we explain the theory of functional and temporal verification of real-time software. In this process, we gain a deep understanding how the architectural features of the target platform influence both the temporal and functional correctness of the software, and how both can be formally proven.

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

Computer Architecture WCET Demo

25/11/14

WCET Analysis WCET in Esterel, Compiling Esterel

02/12/14

Ada: Basic Elements Basic Programs

09/12/14

Ada: Tasking & Synchronization Tasking & Synchronization
16/12/14 Ada / SPARKVerification
13/01/15 Lab time (only for questions on assignment)
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.