Herzlich willkommen auf den Seiten des
Realzeitsystemepraktikums 2004!

Das Praktikum wurde im Bereich der Theoretischen Informatik von der Abteilung “Entwicklung korrekter Systeme” durchgeführt. Betreut wurde das Praktikum durch Prof. Dr. E. R. Olderog, Dipl.-Inform. Jochen Hoenicke und Dipl.-Inform. Andreas Schäfer.

• Was sind Realzeitsysteme:
  Realzeitsysteme sind Systeme, bei denen die Zeit, zu der ein Output produziert wird oder zu der Daten gelesen werden, von Bedeutung ist. Die Modelle für Realzeitsysteme sind also gegenüber denen für herkömmliche Programmmiermethoden um eine Dimension, die der Zeit, erweitert. Alltägliches Beispiel für ein Realzeitsystem ist der Airbag, der schnell genug, aber auch nicht zu früh gezündet werden muss, weil die Wirkung des Airbags nur wenige hunderstel Sekunden nützlich ist.
• Ziel der Vorlesung:
  In der Veranstaltung werden Methoden und Werkzeuge vorgestellt, mit denen Realzeitsysteme spezifiziert, simuliert, verifiziert und implementiert werden können. Außerdem sollen Erfahrungen an anfassbaren Mini-Robotern (Lego-Mindstorm) gemacht werden.

Nachdem die Einarbeitung in die Methoden (Timed Automata, SPS) und Werkzeuge (Uppaal, Moby) mit Hilfe der Übungszettel abgeschlossen war, sollten die erworbenen Kenntnisse noch mal Praktisch auf die Endaufgabe angewendet werden. Diese Endaufgabe, das Vorgehen der Teams und das Ergebnis sollen hier präsentiert werden.