|
verantw. Hochschullehrer:
|
Dr. Thomas Göthel
|
|
Studiengang:
|
Bachelor und Master
|
|
Semester:
|
ab 5.
|
|
Voraussetzungen:
|
Empfohlen ist der vorherige Besuch von Software Engineering I.
|
|
SWS:
|
4
|
|
Credits:
|
6 (benotet)
|
|
Zuordung:
|
Theoretische Informatik, Praktische Informatik, Technische Informatik, Wahlfrei
|
-
Belegung:
-
Die Belegung der Lehrveranstaltungen erfolgt
entsprechend den Bestimmungen des Instituts für
Informatik auf elektronischem Weg über:
https://puls.sb-portal.uni-potsdam.de.
-
Termine:
-
|
Art
|
Tag
|
Uhrzeit
|
Raum
|
Beginn
|
Dozent
|
|
V
|
Do
|
12:15-13:45
|
3.04.0.02
|
15.10.
|
Thomas Göthel
|
|
Ü
|
Di
|
12:15-13:45
|
3.04.1.02
|
20.10.
|
Thomas Göthel
|
-
Inhalt:
-
Über 98% aller programmierbaren Prozessoren werden in
eingebetteten Systemen eingesetzt. Der Software-Anteil in
eingebetteten Systemen spielt dabei zunehmend
größere Rolle. Zum Beispiel betrug in einem PKW
gehobener Ausstattung im Jahr 2003 die Größe
eingebetteter Software 70 MB, in aktuellen Fahrzeugen sind
bereits bis zu 1 GB Software enthalten. Ähnlich wie das
exponentielle Wachstum im Hardwarebereich mit Moore's Law
charakterisiert wird, beobachtet man ein analoges
exponentielles Wachstum bei eingebetteter Software. In der
Vorlesung werden Methoden und Techniken des Software
Engineering eingebetteter Systeme betrachtet. Schwerpunkte
sind Techniken zur systematischen Spezifikation, Verifikation
und Validierung eingebetteter Systeme.
-
Gliederung:
-
-
Leistungserfassung:
-
Prüfungsform: Mündliche Prüfung am Ende des Semesters.
-
Literatur:
-
- P. Liggesmeyer & D. Rombach: Software Engineering
eingebetteter Systeme. Spektrum 2005.
- P. Marwedel: Embedded System Design. Springer 2006.
- Edmund Clarke, Orna Grumberg, Dolon Peled: Model Checking.
MIT Press, 2000.
- Christel Baier und Joost-Pieter Katoen: Principles of
Model Checking, The MIT Press, 2008.
Weitere Literatur wird in der Vorlesung bekannt gegeben.
|
