Lehrstuhl für Praktische Informatik II

Herzlich Willkommen auf der Homepage des Lehrstuhls für Praktische Informatik II

Der Lehrstuhl unter Leitung von Frau Prof. Majster-Cederbaum beschäftigt sich mit reaktiven Systemen. Reaktive Systeme sind Computer-Systeme, die in ständiger Interaktion mit ihrer Umgebung stehen, indem sie Reize aus der Umgebung empfangen und als Reaktion darauf steuernd und regelnd auf diese Umgebung einwirken.

Oft werden reaktive Systeme für sicherheitskritische Anwendungen eingesetzt, bei denen Fehlfunktionen wirtschaftliche Güter und Menschenleben gefährden können. Nicht zuletzt deshalb ist man sehr daran interessiert, die Entwicklung reaktiver Systeme durch Methoden der formalen Spezifikation und Verifikation zu unterstützen.