New Master Module on Cyber-Physical Systems
This winter semester, the SWT Chair is offering the new module Cyber-Physical Systems (SWT-CPS-M) to all students of the M.Sc. International Software Systems Science degree programme. This module replaces the compulsory module Principles of Compiler Construction (SWT-PCC-M) that will no longer be taught.
The new module SWT-CPS-M will be delivered jointly by Dr. Eugene Yip and Dr. Jin Ro. It discusses the foundational concepts employed in the development of cyber-physical systems, in particular discrete, timed, and hybrid automata for modelling, techniques for timing analysis and functional verification as well as languages and paradigms for implementation and deployment.