Contact person:

• Prof. E.-R. Olderog
• Prof H. Wehrheim

Contents and goals

Mastering large software systems requires a systematic approach. Suitable modelling, algorithmic tools and precise behavioural analyses are extremely useful for this purpose. In the MAX specialisation, well-founded methods for modelling software systems are introduced, applications and case studies for investigating behavioural properties are discussed, tried and tested analysis tools are applied, and efficient analysis methods are investigated and further developed. MAX is aimed at algorithmically orientated, systematically thinking or mathematically interested students who want to understand how viable formal concepts can be implemented in models, tools and methods for controlling large systems.

The specialisation in Modelling and Analysis of Complex Systems provides precise knowledge of system models, system properties, important analysis methods and proven tools for mastering large software systems. In MAX, students learn and practice the use of (formal) description languages and the selection and use of adequate modelling and analysis methods, for example those that are suitable for the reduction and abstraction of large systems.

Study requirements

Students must take modules from the following list totalling at least 24 CP and choose a Master's thesis topic with a thematic reference to the MAX specialisation.

• inf300 Hybrid Systems
• inf335 Strategy Synthesis
• inf453 Combination of Specification Techniques
• inf454 Communicating and mobile systems
• inf456 Real-time systems
• Software Analysis
• Temporal Logic
• Synthesis through games
• inf480 to inf495 Current or special topics from the areas of "Development of Correct Systems" or "Formal Methods"

If the project group is related to the MAX specialisation, it can be taken into account with a scope of 6 CP.

Creditable but no longer selectable modules:

• inf450 Correctness of graph programmes
• inf451 Complexity Theory (currently not offered)
• inf457 Secure Communication
• inf458 Term substitution systems
• inf460 Security
• inf461 Security of Cyber-Physical Systems
• inf480 to inf495 Current or special topics from the fields of "Parallel Systems", "Formal Languages", "Modelling and Analysis of Complex Systems"