Real-Time Programming Languages [WS only]

Embedded systems in a safety-critical context, e.g., controllers in automobiles, software in airplanes and industrial plants, have to work reliably and under timing constraints. Such systems require a level of integrity and availability for which traditional mainstream programming techniques fail to provide appropriate means, or even guarantees. As a result, programming languages with strict semantics and inherent support for timing were developed. They introduce programming models specifically targeted towards developing safety-critical and 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 how the development workflow has to be different from 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 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 analyzed and formally proved.

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

Time slots: Tuesday, 10:15 - 12:15 (lecture) and 13:15 - 15:15 (lab/tutorial).

Date

Contents Lecture Contents Lab
18/10/16 Introduction Introduction
25/10/16 Esterel (1) Basic Esterel
01/11/16                    No lecture, no lab (public holiday)
08/11/16 Esterel (2) Esterel contd.
15/11/15                    No lecture, no lab (student body assembly)

22/11/16

Computer Architecture (1) Esterel contd.

29/11/16
Computer Architecture (2) & WCET AnalysisWCET Demo

06/12/16
Model Checking MC in Esterel

13/12/16

Synchronization & Scheduling no lab

20/12/16

Ada: Basic Elements Basic Programs

10/01/17

Ada: Tasking & Synchronization Tasking & Synchronization

17/01/17

Ada: High-Integrity Systems Ravenscar Examples
24/01/17 Ada: Verification / SPARKVerification in Ada
31/01/17                     Q & A: Please bring questions.
07/02/17 Final Exam no lab

Note: Scheduled contents may change without prior notice.




We are a member of the GNAT Academic Program of AdaCore