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.
SS12 | MS0105 MS1004 MS1101 |
WS12/13 | MS0306 MS0402 Inf-SoftArch |
SS13 | MS0302 Inf-EntEinSys |
beim Research Advisor. Siehe auch http://www.informatik.uni-kiel.de/rtsys/teaching/practicals/
beim Research Advisor. Siehe auch http://www.informatik.uni-kiel.de/rtsys/teaching/seminars/
beim Research Advisor. Siehe auch http://www.informatik.uni-kiel.de/rtsys/theses/
nach Wahl der Studierenden in Absprache mit dem Academic Advisor. Wenn angeboten, wird eine Teilnahme an MS 2001 (Academic Writing, V2, ÂÂ, 6 ECTS, Kategorie AG, Prof. Luttenberger) empfohlen. Weiterhin wird, sofern angeboten und noch nicht in der Vergangenheit absolviert, eine Teilnahme an der "Ausbildung zum Fachtutor Informatik" empfohlen.
nach Wahl der Studierenden in Absprache mit dem Academic Advisor