inf406 - Praktikum Realzeitsysteme (Vollständige Modulbeschreibung)

inf406 - Praktikum Realzeitsysteme (Vollständige Modulbeschreibung)

Originalfassung Englisch PDF Download
Modulbezeichnung Praktikum Realzeitsysteme
Modulkürzel inf406
Kreditpunkte 6.0 KP
Workload 180 h
Einrichtungsverzeichnis Department für Informatik
Verwendbarkeit des Moduls
  • Master of Education (Wirtschaftspädagogik) Informatik (Master of Education) > Praktische Vertiefung der Informatik
  • Zwei-Fächer-Bachelor Informatik (Bachelor) > Praktische Vertiefung (60 KP)
Zuständige Personen
  • Olderog, Ernst-Rüdiger (Modulverantwortung)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
Teilnahmevoraussetzungen
Theoretische Informatik I und II
Kompetenzziele
Praktische Erprobung von Methoden und Werkzeugen, mit denen Realzeitsysteme spezifiziert, simuliert, verifiziert und implementiert werden können. Insbesondere sollen Erfahrungen mit anfassbaren Mini-Robotern (Lego-Mindstorms) gemacht werden.

Fachkompetenzen
Die Studierenden:
  • implementieren Realzeitsysteme auf Lego-Mindstorm Robotern NXT
  • simulieren und verifizieren Realzeitsysteme auf der Basis von Realzeitautomaten mit dem Modelchecker UPPAAL
  • verwenden die Werkzeugumgebung Moby/RT zur Spezifikation und Simulation von Realzeitsysteme auf der
Basis von PLC-Automaten, zur Übersetzung in Java-Code für Lego-Mindstorms NXT und zur Übersetzung
in UPPAAL

Methodenkompetenzen
Die Studierenden:
  • realisieren Steuerungsaufgaben mit Hilfe von Lego-Mindstorms
  • spezifizieren Realzeitsysteme als Netzwerke von Realzeitautomaten und verifizieren diese mit UPPAAL
  • entwerfen Realzeitsysteme mit Hilfe von Moby/RT
  • realisieren systematisch anspruchsvolle zeitabhängige Steuerungsaufgaben mit Hilfe von Moby/RT,
Lego-Mindstorms und UPPAAL

Sozialkompetenzen
Die Studierenden:
  • lösen Problemstellungen im Team
  • präsentieren Lösungsvorschläge und diskutieren diese


Selbstkompetenzen
Die Studierenden:
  • erkennen (Teil-)Problemstellungen von Realzeitsystemen und übernehmen Verantwortung für deren Realisierung
Modulinhalte
Realzeitsysteme sind Systeme, bei denen die Zeit, zu der eine Ausgabe 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. Ein Beispiel für ein Realzeitsystem ist der Airbag im Auto, der schnell genug, aber auch nicht zu früh gezündet werden muss, weil die Wirkung des Airbags nur wenige hundertstel Sekunden nützlich ist.
In der Veranstaltung werden Methoden und Werkzeuge vorgestellt und praktisch erprobt, mit denen Realzeitsysteme spezifiziert, simuliert, verifiziert und implementiert werden können. Insbesondere sollen Erfahrungen mit anfassbaren Mini-Robotern (Lego-Mindstorms) und zur Implementierung von Realzeitsystemen gesammelt werden.
Literaturempfehlungen
E.-R. Olderog, H. Dierks: Real-Time Systems: Formal Specification and Automatic Verification, Cambridge University Press, 2008
Links
Unterrichtssprache Deutsch
Dauer in Semestern 1 Semester
Angebotsrhythmus Modul unregelmäßig
Aufnahmekapazität Modul unbegrenzt
Modulart je nach Studiengang Pflicht oder Wahlpflicht
Modullevel AS (Akzentsetzung / Accentuation)
Lehr-/Lernform P
Prüfung Prüfungszeiten Prüfungsform
Gesamtmodul
Am Ende der Vorlesungszeit
Fachpraktische Übungen
Lehrveranstaltungsform Praktikum
SWS 4
Angebotsrhythmus WiSe