VO Emb. Systems Construction
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