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.
WS12/13 | MS0306 Inf-SoftArch |
SS13 | MS0302 MS1004 Inf-ImpSys Inf-EntEinSys |
WS13/14 | MS1102 MS0102 |
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