Lehrveranstaltungsleiter

O.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Pree

Termine

Sommersemester 2003, Universität Salzburg, 

Donnerstag: 14:30-16:00 Uhr, Jakob-Haringer-Str. 2, T02

Inhalt

Die Vorlesung zeigt auf, welche Konzepte, Methoden und Werkzeuge für die Entwicklung von sicherheitskritischen, 'harten' Echtzeitsystemen verwendet werden. Insbesondere werden Modell-basierte Methoden und Werkzeuge präsentiert, die es erlauben, von der spezifischen Plattform (HW/OS) zu abstrahieren. Programmiermethodik, systematischer Entwurf und adäquate Modularisierung von Echtzeitsystemen werden anhand von Fallstudien vermittelt und im zugehörigen Proseminar geübt.

Hinweis: Die Vorlesung Embedded Systems von Prof. Pohlmann ergänzt diese Vorlesung. Es wird daher empfohlen, beide Lehrveranstaltungen innerhalb eines Semesters zu absolvieren.

Literatur

H. Kopetz: Real-time systems: design principles for distributed embedded applications, Kluwer, 1997

EmSoft 2002, 2001 Conference Proceedings

Unterlagen

• Motivation, grundlegende Begriffe und Konzepte
• RTOS – grundlegende Konzepte und Begriffe
• Principles of Real-Time Programming (C. Kirsch, EmSoft 2002)
• Giotto (IEEE Control System Magazine paper, Feb. 2003)
• Giotto slides
• Time-Triggered Architecture (IEEE Spec. Issue Embedded Systems, Oct.2002)
• Giotto Simulink (I)
• Giotto Simulink (II)
• Case study: reusable components for AOCS
• State charts
• Fault-tolerance
• Esterel overview
• Esterel foundations