Ausgewählte Probleme des Echtzeitrechnens

Seminar im Sommersemester 2002

Wann und Wo

Mittwoch, 9-11, RUD25, Raum 4.101
Erste Veranstaltung ist am 17.4.2002!

Was

Echtzeitsysteme sind Teil von immer mehr Produkten des täglichen Lebens, seien es Fahrzeuge, Kommunikationssysteme oder Anlagen der Automatisierung. Dieses Seminar setzt Grundkenntnisse zu Echtzeitsystemen voraus, und konzentriert sich auf tiefergehende Fragestellungen und Themen aus der aktuellen Forschung, auch können eigene Themenvorstellungen eingebracht werden.

Ablauf

Jeder Teilnehmer hält einen Vortrag von etwa einer Stunde, zu dem er eine schriftliche Ausarbeitung erstellt. Im Anschluß an den Vortrag wird mit allen Teilnehmern diskutiert. Material zur Vorbereitung des Vortrages wird zur Verfügung gestellt oder ist im Internet frei verfügbar.

Vorbereitungszeit steht angemessen zur Verfügung (je nach Teilnehmeranzahl gibt es nach Vergabe der Themen eine Pause von etwa zwei Wochen), die Konsultation zum Thema ist jederzeit möglich.

Voraussetzungen für den Seminarschein

Halten eines Vortrages (s.o.)
Schriftliche Ausarbeitung zum Vortrag
Regelmäßiger Besuch des Seminars
Teilnahme an den Diskussionen im Seminar

Termine

17.4.: Einfuehrung
24.4.: MSS
1.5.: frei
8.5.: Automatic Composition of Timed PN Specifications for a Real-Time Architecture
15.5.: frei
22.5.: RealTime mit Windows NT
Alexander Platonov
29.5.: Petrinetze mit Zeiterweiterungen
Martin Loetzsch
5.6.: Bericht ICRA 2002
Jan Richling
12.6.: Byteflight/Flexray: Kommunikationsprotokolle der KFZ-Industrie
Jens-Martin Loebel
19.6.: Echtzeit ohne Zeit
Birger Schmidt
26.6.: TLA
Daniel Seifert
3.7.: Das Spezifikationstool UPPAAL
Markus Mergner
10.7.: RTL und Modechart
Jens Eremie
17.7.: SystemC - Spezifikation von Hard- und Software in einer C-aehnlichen Sprache
Christian Krause