Modul "Praktikum Realzeitsysteme"

 

1 Organisatorisches

Form: 4 PR    (6 ECTS-Punkte)   E.-R. Olderog, A. Schäfer, J. Hoenicke

Termine:

Montag, 14-18, A3 2-209/A3 2-207/A2 2-211
Mittwoch, 16-20, A3 2-209/A3 2-207/A2 2-211

 

2 Ziele

Einführung in Methoden und Werkzeuge, mit denen Realzeitsysteme spezifiziert, simuliert, verifiziert und implementiert werden können. Außerdem sollen Erfahrungwen an anfassbaren Mini-Robotern (Lego-Mindstorm) gemacht werden.

 

3 Inhalt

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. 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.

 

4 Literatur

• E.-R. Olderog, H. Dierks und M. Schenke, Skript Realzeitsysteme, Ausgabe 2002: pdf, ps.

 

5 Übungsaufgaben

Hier wird in Kürze die Möglichkeit geboten, die aktuellen Übungsblätter zu dieser Lehrveranstaltung abzurufen. Wir bitten jedoch im Interesse aller, die Übungsblätter nicht gedankenlos auszudrucken, insbesondere nicht auf den Laserdruckern der ARBI. Photokopien sind unter Berücksichtigung aller Kosten in der Regel günstiger als Laserdrucke!

Dieses Angebot richtet sich hauptsächlich an diejenigen, die auf anderem Wege kein Exemplar der Übungsblätter erhalten konnten, bzw. die die Aufgaben während der Bearbeitung am Bildschirm betrachten möchten.