Der modellbasierte Entwurf ist ein Entwurfsparadigma, mit welchem komplexe Softwaresysteme primär nicht direkt programmiert, sondern zunächst auf einer möglichst hohen Abstraktionsebene modelliert werden. Ein Systemmodell kann dann unter anderem zur Anforderungsvalidierung, Simulation, Codesynthese und Dokumentation eingesetzt werden. In diesem Masterprogramm sollen die theoretischen Grundlagen und fortgeschrittene Konzepte der Informatik vermittelt werden, welche für die Anwendung des modellbasierten Entwurfs sowie für die Entwicklung von Werkzeugen für den modellbasierten Entwurf erforderlich sind. Hierbei werden u.a. praktische Erfahrungen mit den open-source Werkzeugen Eclipse (http://www.eclipse.org/) und KIELER (http://www.informatik.uni-kiel.de/rtsys/kieler/) gesammelt und Erweiterungen hierzu entwickelt.
Falls Module Inf-EntEinSys, MS1101 oder MS1102 bereits im Bachelor absolviert worden sind, sollten diese nach Absprache mit dem Research Advisor durch andere Module ersetzt werden.
Interessenten am Masterprogramm sollten frühzeitig Kontakt mit dem Programmverantwortlichen (Prof. v. Hanxleden) aufnehmen, um die Vorlesungsplanung konkret zu besprechen. Um frühzeitig einen Einblick in laufende Forschungsarbeiten und typische Master-Thesis-Themen zu bekommen, wird empfohlen, an dem jedes Semester stattfindenden Oberseminar "Echtzeitsysteme und Eingebettete Systeme" teilzunehmen.
WS13/14 | MS1102 MS0102 MS0803 |
SS14 | MS0306 Inf-ImpSys MS1101 |
WS14/15 | MS0302 Inf-SoftArch |
beim Research Advisor
beim Research Advisor
beim Research Advisor
nach Wahl der Studierenden in Absprache mit dem Academic Advisor
nach Wahl der Studierenden in Absprache mit dem Academic Advisor