Neues Bachelor-Modul zum Entwurf reaktiver Systeme

In diesem Sommersemester bietet der Lehrstuhl SWT das neue Modul Reactive Systems Design (SWT-RSD-B) für alle Studierenden des Studiengangs B.Sc. Informatik: Software Systems Science an.

Das neue Modul wird von Dr. Eugene Yip gehalten und behandelt die theoretischen Konzepte und die ingenieurmäßige Praxis der modellgetriebenen Entwicklung von Software für reaktive Systeme. Reaktive Systeme sind digitale Systeme wie z.B. Hausautomatisierungssysteme und Fahrerassistenzsysteme, die kontinuierlich auf ihre Umgebung reagieren, indem sie Sensorwerte einlesen, Ausgabewerte berechnen und diese Werte an Aktoren ausgeben.

Schwerpunkte des Moduls sind das synchrone Programmierparadigma, die automatische Codegenerierung aus Systemmodellen, Techniken zur Verifikation und zum Test reaktiver Systeme sowie der Einsatz und die Integration reaktiver Softwarekomponenten auf einer bestimmten Betriebssystem- und Ausführungsplattform. In den Übungen wird Software für die Spur-N SWTbahn Modellbahn, dem Demonstrator des Lehrstuhls SWT für die Entwicklung von zuverlässiger Software, eingesetzt und entwickelt.