High Integrity Systems (HIS)

First year Winter semester: Safety-Critical Computer Systems, Advanced Formal Modelling, Introductory Data Analysis, Elective Subjects I: Advanced Real-Time Systems or Machine Learning, Implementation of DBMS, Elective Subjects II: Pattern-Oriented Software Architecture or Quantum Information Science. Summer semester: Mathematics Update, Advanced IT-Security, Data Mining, Electives III: Advanced Distributed Systems or Advanced Testing Methods, Electives IV: Human Machine Interface Design or Smart Sensor Network Systems, Electives V: System Theory and Modelling or Transaction Management or Learning from Data Second year Formal Specification and Verification, HIS project, Electives VI: Multivariate Data Analysis or Simulation Methods or Artificial Intelligence, Electives VII: Standards and Certification or Current Topics in High Integrity Systems or Internet of Things, Electives VIII: Selected Subjects in Current Web Engineering or Mobile Systems and Applications or Cloud Computing Master's thesis