M.Sc. Program modules

M.Sc. Program 
High Integrity Systems 
Module Contents


Module Overview


Sem   No  Modules
 1.       1 Safety Critical Computer Systems 
           2  Advanced Formal Modeling 
           3 Introductory Data Analysis
           4 Real-Time Systems
           5 Implementation of DBMS
           6 Pattern Oriented Software Architecture 




2.         7 Elective Subjects I
              7.1 Distributed Systems 
              7.2 Data Mining
             8  Advanced IT-Security
             9 Advanced Testing Methods
             10 Formal Specification and Verification 
             11 System Theory and Modeling 
             12 Transaction Management


3           13 Multivariate Data Analysis
             14 Elective Subjects I
                14.1 Standards and Certifaction 
                14.2 Current Topics in High Integrity Systems
             15 Elective Subjects II
                15.1 Human Machine Interface Design for Safety Critical Systems  
                15.2 Intelligent Sensor Network Systems
             16 Simulation Methods
             17 HIS Project 




4.          18 Master Thesis