VO Emb. Systems Construction

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, I (ca. 1,0 MB)
• RTOS – grundlegende Konzepte und Begriffe (ca. 420 KB)
• Principles of Real-Time Programming (C. Kirsch, EmSoft 2002) (ca. 170 KB)
• Giotto (IEEE Control System Magazine paper, Feb. 2003) (ca. 720 KB)
• Giotto slides (ca. 2MB)
• Time-Triggered Architecture (IEEE Spec. Issue Embedded Systems, Oct.2002) (ca. 530 KB)
• Giotto Simulink (I) (ca. 720 KB)
• Giotto Simulink (II) (ca. 2,2 MB)
• Case study: reusable components for AOCS (ca. 700 KB)
• State charts (ca. 550 KB)
• Fault-tolerance (ca. 1,7 MB)
• Esterel overview (ca. 200 KB)
• Esterel foundations (ca. 300 KB)