- Safety-Critical Computer Systems, Advanced Formal Modelling, Introductory Data Analysis, Advanced Real-Time Systems, Implementation of DBMS, Pattern-Oriented Software Architecture, Mathematics Update
- Advanced IT-Security
- Data Mining
- Electives I: Advanced Distributed Systems or Advanced Testing Methods
- Electives II: Human Machine Interface Design or Smart Sensor Network Systems
- Electives III: System Theory and Modelling or Transaction Management
- Formal Specification and Verification
- HIS project
- Electives IV: Multivariate Data Analysis or Simulation Methods
- Electives V: Standards and Certification, Current Topics in High Integrity Systems or Internet of Things
- Electives VI: Selected Subjects in Current Web Engineering, Mobile Systems and Applications, or Cloud Computing
- Master's thesis
Educational organisationThe programme duration is four semesters, with 18 weeks per semester of lectures, seminars, labs in semesters one to three. The fourth semester is dedicated to the Master's thesis (applied research work).
Forms of assessmentWritten or oral exams at the end of the semester, seminar talks, training for scientific publications, software development projects
5 ECTS per module, 10 ECTS for HIS project, 30 ECTS for Master's thesis and colloquium
Course objectivesThe Master's programme is a fully accredited computer science MSc curriculum. The programme opens the door to a wide range of fields of work in High Integrity Systems, i.e. safety-critical areas (e.g. internet of things, automotive and machine building industries, chemical industries, aerospace systems, biomedical technology) and business process areas (e.g. IT services, banking and finance, insurance, media). The programme aims to provide core skills in software engineering and development, system modelling and simulation, IT security, distributed systems, DBMS, advanced testing, and data integrity.
Language requirementsSufficient command of English (e.g. IELTS 6, TOEFL iBT 79 or equivalent)
Graduates of English-taught programmes are exempt.