Selbstbericht - Anlage 17 1 Modellierung und Analyse komplexer Systeme (MAX) InformatikVertiefungsgebiet Ziele Berufsperspektiven Studienanforderungen Modellierung und Analyse komplexer Systeme www.uni-oldenburg.de/informatik/msc/vertiefung/max 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. Die Absolventen der Vertiefungsrichtung MAX werden auf berufliche Aufgabenfelder vorbereitet, in denen InformatikerInnen systematisch effektive Methoden zum Softwareentwurf und zur Systemanalyse erforschen, anwenden, weiterentwickeln oder in Werkzeuge integrieren. 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 - inf450 Korrektheit von Graphprogrammen - inf451 Komplexitätstheorie - inf453 Kombination von Spezifikationstechniken - inf454 Kommunizierende und mobile Systeme - inf456 Realzeitsysteme - inf457 Sichere Kommunikation - inf458 Termersetzungssysteme - inf480 bis inf495 aktuelle oder spezielle Themen aus den Gebieten „Parallele Systeme", "Entwicklung korrekter Systeme", "Formale Sprachen", "Modellierung und Analyse komplexer Systeme" Falls die Projektgruppe einen Bezug zur Vertiefungsrichtung MAX hat, kann sie mit einem Umfang von 6 KP berücksichtigt werden. Ziele-Module-Matrix Zusätzliche Studienziele Methoden zur Modellierung von komplexen Systemen Analyse des Verhaltens Komplexer Systeme Lernziele Fundierte Kenntnisse von formalen Systemmodellen, sowie deren Äquivalenzen Auswahl eines geeigneten formalen Modelles zur Beschreibung des komplexen Systems Verständnis der Systemeigenschaften wie z.B. "Sicherheit" und "Korrektheit", sowie deren Formalisierung in Logiken Kenntnis von Analysemethoden, wie z.B. Beweissystemen zur Programmverifikation, Algorithmen zum Model-Checking Methoden zur Analyse großer oder zustandsunendlicher Systeme (Reduktion, Abstraktion) Effiziente Implementierung der Analysealgorithmen Selbstbericht - Anlage 17 - Seite 461 Module - inf300, inf451, inf453, inf454, inf456 - inf300, inf450, inf451, inf453, inf456, inf457 - inf300, inf450, inf453, inf454, inf456, inf457 - inf300, inf484, inf485, inf486, inf487 - inf300, inf451, inf456 - Projektgruppe 1
© Copyright 2024 ExpyDoc
