Service and Software Engineering

Interim Professor: Dr. Thomas Göthel

Ankündigung der Lehrveranstaltung

Qualitätssicherung Eingebetteter Systeme im WS 2014


verantw. Hochschullehrer: Dr. Paula Herber
Studiengang: Master
Semester: ab 7.
Voraussetzungen: Empfohlen ist der vorherige Besuch von Software Engineering I und II.
SWS: 4
Credits: 6 (benotet)
Zuordung: Theoretische 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 10:15-11:45 3.04.0.02 16.10. Paula Herber
Ü Di 14:15-15:45 3.04.1.03 21.10. Paula Herber

Inhalt:

Die Qualitätssicherung eingebetteter Systeme ist ein unverzichtbares Thema, da die Qualitätssicherung von eingebetteten Systemen heutzutage bereits 50-80% der Entwicklungskosten ausmacht. Eingebettete Systeme bestehen in der Regel aus eng miteinander verknüpften Hardware- und Software-Komponenten. Die Integration der verschiedenen Komponenten ist einer der kritischsten Schritte im Entwurfsablauf. In der Veranstaltung werden Test- und Verifikationstechniken sowohl für Hardware als auch für Software betrachtet und miteinander in Verbindung gebracht. Insbesondere werden auch Validierungs- und Verifikationstechniken behandelt, die die integrierte Qualitätssicherung von Hardware und Software erlauben.


Gliederung:


Leistungserfassung:

Prüfungsform: Mündliche Prüfung. Voraussetzung zur Teilnahme an der Prüfung ist ein Vortrag zu einem fortgeschrittenen Thema der Qualitätssicherung für eingebettete Systeme im Laufe des Semesters.


Literatur:

  • 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.
  • Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh: Handbook of Satisfiability. IOS Press, 2009.

Weitere Literatur wird in der Vorlesung bekannt gegeben.