Model-Based Development of Embedded Control Software (lecture in English)

Dipl.-Ing. Claudiu Farcas

Summary:
This course provides an in-depth introduction to the Timing Definition Language (TDL), a successor of Giotto. TDL added a component model and simplified the Giotto syntax. We will develop TDL components and take a closer look at the TDL run-time system on a selected hardware (MPC555) and the real-time operating system OSEK.

Course goal:
Grasp the significant advantages of model-based software development in the realm of hard real-time software.

Prerequisites:
Programming experience in an imperative language such as C or Java, basic knowledge of operating systems concepts and architecture

Related course:
Embedded Software Engineering, prof. dr. Christoph Kirsch

When and where

winter semester 2005-2006, Univ. Salzburg
Tuesday, 10:00-12:00h, Jakob-Haringer-Str. 2, room T06

starts: 11 October 2005

Documents

• Part 1: Introduction
• Part 2: Real-Time Systems - supplementary material credits: Prof. Dr. Christoph Kirsch
• Part 3: The Timing Definition Language - original material credits: Dr. Josef Templ
• Part 4: Supported target platforms - details about the run-time environments available in 2005
• Part 5: Portable TDL Run-time System - from TDL source code to actual platform specific executable code
• Part 6: Introduction to Simulink - How does it work? Using Simulink for developing functionality code
• Part 7: TDL Time-Safety Checking - Basic Scheduling Theory, EDF, RM, ...
• Part 8: Transparent Distribution - novel concept for real-time components

Links and further reading material