Ausgewählte Probleme des Echtzeitrechnens

Seminar im Sommersemester 2003

Wann und Wo

Donnerstag, 15-17, RUD26, Raum 1.308
Erste Veranstaltung ist am 17.4.2003!

Anmeldung erfolgt über Goya.

Wer

Das Seminar wird von Jan Richling mit Unterstützung von Nikola Milanovic durchgeführt.

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 vierzig Minuten, 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.: Einführung
24.4.: Themenaufteilung
15.5.:
- Message Scheduled System (MSS)
  Jan Richling
22.5.:
- B-Method
  Norman Rau
- FREI
5.6.:
- Design by contract
  Arne Hoxbergen
- Eiffel vs Java
  Tobias Nöbel
12.6.:
- Energiesteuerung
  Andre Wiesner
  Manuel Klatt
19.6.:
- Adhoc Routing
  Christian Carstensen
- Adhoc Security
  Philipp Reinecke
26.6.:
- Ressourcen-Scheduling
  Daniel Görlich
- FT RMS
  Roman Brückner
3.7.:
- Existierende Systeme: xxx
  Stefan Grundmann
- Existierende Systeme: QNX
  Marcus Richter
10.7.:
- Z-Notation
  Thomas Wenckebach
- Komponenten-Techniken
  Carsten W. Rose
17.7.:
- RT-UML
  Janis Bardins

Themen

Die an dieser Stelle präsentierte Themenliste stellt Gebiete vor, aus denen die Vortragsthemen des Seminars kommen. Konkrete Themen werden folgen, sie können aber auch seitens der Teilnehmer eingebracht werden oder gemeinsam diskutiert werden.

Schwerpunkt Echtzeitsysteme
- Schedulingverfahren
- Spezifikationstechniken für Echtzeitsysteme
- Formale Methoden
- Analyse existierender Systeme
- Vorstellung von Systemarchitekturen
- Echtzeitkommunikation
- Komponentenorientierte Systeme
Schwerpunkt Mobile Systeme
- Methoden zur Reduzierung des Energieverbrauchs
- Drahtlose Adhoc-Kommunikation