Neues Mastermodul zu Cyber-Physical Systems

Der Lehrstuhl SWT bietet ab diesem Wintersemester das neue Modul Cyber-Physical Systems (SWT-CPS-M) für alle Studierenden des Studiengangs M.Sc. International Software Systems Science an. Dieses Modul ersetzt das Pflichtmodul Principles of Compiler Construction (SWT-PCC-M), das nicht mehr gelehrt werden wird.

Das neue Modul SWT-CPS-M wird gemeinsam von Dr. Eugene Yip und Dr. Jin Ro gehalten. Es behandelt die grundlegenden Konzepte, die bei der Entwicklung von cyber-physischen Systemen eingesetzt werden, insbesondere diskrete, zeitgesteuerte und hybride Automaten zur Modellierung, Techniken zur Timing-Analyse und funktionalen Verifikation sowie Sprachen und Paradigmen zur Implementierung und zum Einsatz.