Theoretische Informatik - Entwicklung korrekter Systeme

Entwicklung korrekter Systeme


Herzlich willkommen!

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 hundertstel Sekunden nützlich ist.


In diesem Praktikum sollen die Grundlegenden Methoden geschult und an praktischen Beispielen geübt werden.