Fortgeschrittenen-Praktikum Realzeitsysteme

Auf dieser Seite

• Einleitung
• Voraussetzungen
• Veranstaltungsform
• Anspechpartner
• Ergebnis

 
 

Einleitung

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 Programmiermethoden 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 muß, 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 nfaßbaren Mini-Robotern (Lego-Mindstorm) gemacht werden.

 

Voraussetzungen

Abgeschlossenes Grundstudium. Die Vorlesung Realzeitsysteme (Olderog) zu hören, ist sicher hilfreich aber keine Voraussetzung.

 

Veranstaltungsform

Das Praktikum wird im Wintersemester 00/01 wöchentlich nach Vereinbarung durchgeführt.

 

Anspechpartner

Bei Fragen wenden Sie sich bitte an Henning Dierks, Raum: A3 2-212, Telefon: (0441) 798-2997, email: henning.dierks@informatik.uni-oldenburg.de .