Textbausteine MAX
Kontakt
Leitung
Sekretariat
Textbausteine MAX
Modellierung und Analyse komplexer Systeme (MAX)
im Fachbachelor-Studiengang Informatik
Ansprechpartner:
Inhalte und Ziele
Die Beherrschung großer Software-Systeme erfordert ein systematisches Vorgehen. Dazu sind geeignete Modellbildungen, algorithmische Werkzeuge und präzise Verhaltensanalysen von außerordentlich großem Nutzen. In der Vertiefungsrichtung MAX werden fundierte Methoden zur Modellierung von Softwaresystemen eingeführt, Anwendungen und Fallstudien zur Untersuchung von Verhaltenseigenschaften besprochen, wichtige Analyseverfahren und -werkzeuge untersucht und angewendet. MAX wendet sich an algorithmisch orientierte, an systematisch denkende, oder an mathematisch interessierte Studierende, die verstehen möchten, wie tragfähige formale Konzepte in Modelle, Werkzeuge und Methoden zur Beherrschung großer Systeme umgesetzt werden können.
Die Vertiefungsrichtung Modellierung und Analyse komplexer Systeme vermittelt Kenntnisse von Systemmodellen, von Systemeigenschaften, von wichtigen Analysemethoden und von erprobten Werkzeugen zur Beherrschung großer Software-Systeme. Die Studierenden lernen und üben in MAX den Umgang mit (formalen) Beschreibungssprachen und die Auswahl und den Einsatz adäquater Modellierungs- und Analysemethoden, zum Beispiel solcher, die sich zur Reduktion und Abstraktion großer Systeme eignen.
Studienanforderungen
Es müssen Module der folgenden Liste im Umfang von mindestens 24 KP belegt werden, sowie ein Bachelor-Abschlussarbeitsthema mit einem thematischen Bezug zur Vertiefungsrichtung MAX gewählt werden.
- inf205 Formale Methoden eingebetteter Systeme
- inf407 Programmverifikation
- inf408 Algorithmen zur Software-Verifikation
- Formale Methoden
- inf800 Proseminar mit einem thematischem Bezug zur Vertiefungsrichtung
- pb216 Forschungsseminar mit einem thematischen Bezug zur Vertiefungsrichtung
- inf803 bis inf807 Spezielle Themen der Informatik I bis V mit einem thematischen Bezug zur Vertiefungsrichtung
- inf808 Aktuelle Themen der Informatik mit einem thematischem Bezug zur Vertiefungsrichtung
Anrechenbare aber nicht mehr wählbare Module:
- inf402 Graphersetzungssysteme
- inf403 Kryptologie
- inf404 Petri-Netze
- inf405 Algorithmische Graphentheorie
- inf406 Praktikum Realzeitsysteme
- inf409 Formale Sprachen
Vertiefungsrichtung MAX
im Master-Studiengang Informatik
Ansprechpartner:
Inhalte und Ziele
Die Beherrschung großer Software-Systeme erfordert ein systematisches Vorgehen. Dazu sind geeignete Modellbildungen, algorithmische Werkzeuge und präzise Verhaltensanalysen von außerordentlich großem Nutzen. In der Vertiefungsrichtung MAX werden fundierte Methoden zur Modellierung von Softwaresystemen eingeführt, Anwendungen und Fallstudien zur Untersuchung von Verhaltenseigenschaften besprochen, erprobte Analysewerkzeuge angewendet, und effiziente Analyseverfahren untersucht und weiterentwickelt. MAX wendet sich an algorithmisch orientierte, an systematisch denkende, oder an mathematisch interessierte Studierende, die verstehen möchten, wie tragfähige formale Konzepte in Modelle, Werkzeuge und Methoden zur Beherrschung großer Systeme umgesetzt werden können.
Die Vertiefungsrichtung Modellierung und Analyse komplexer Systeme vermittelt präzise Kenntnisse von Systemmodellen, von Systemeigenschaften, von wichtigen Analysemethoden und von erprobten Werkzeugen zur Beherrschung großer Software-Systeme. Die Studierenden lernen und üben in MAX den Umgang mit (formalen) Beschreibungssprachen und die Auswahl und den Einsatz adäquater Modellierungs- und Analysemethoden, zum Beispiel solcher, die sich zur Reduktion und Abstraktion großer Systeme eignen.
Studienanforderungen
Es müssen Module der folgenden Liste im Umfang von mindestens 24 KP belegt werden, sowie ein Master-Abschlussarbeitsthema mit einem thematischen Bezug zur Vertiefungsrichtung MAX gewählt werden.
- inf300 Hybride Systeme
- inf335 Strategy Synthesis
- inf453 Kombination von Spezifikationstechniken
- inf454 Kommunizierende und mobile Systeme
- inf456 Realzeitsysteme
- Software Analysis
- Temporal Logic
- Synthese durch Spiele
- inf480 bis inf495 aktuelle oder spezielle Themen aus den Gebieten "Entwicklung korrekter Systeme" oder "Formale Methoden"
Falls die Projektgruppe einen Bezug zur Vertiefungsrichtung MAX hat, kann sie mit einem Umfang von 6 KP berücksichtigt werden.
Anrechenbare aber nicht mehr wählbare Module:
- inf450 Korrektheit von Graphprogrammen
- inf451 Komplexitätstheorie (Aktuell nicht angeboten)
- inf457 Sichere Kommunikation
- inf458 Termersetzungssysteme
- inf460 Security
- inf461 Security of Cyber-Physical Systems
- inf480 bis inf495 aktuelle oder spezielle Themen aus den Gebieten „Parallele Systeme", "Formale Sprachen", "Modellierung und Analyse komplexer Systeme"