Vorlesung: Modellierung und Analyse von Eingebetteten Systemen

Lehrstuhl Eingebettete Systeme
Dozent Prof. Dr. Bringmann
Betreuer Peterson
Vorlesung Mi, 10 c.t. - 12 Uhr
Raum Hörsaal F122
Übung Mi, 12 s.t. - 14 Uhr, Hörsaal F122
Umfang Vorlesung/Übungen: 6LP
Homepage https://ovidius.uni-tuebingen.de/ilias3/goto.php?target=crs_1529380
Eintrag im LSF Modellierung und Analyse von Eingebetteten Systemen

Beschreibung

Einbettete Systeme, wie z.B. Smartphones, Navigations-, Fahrerassistenz- und Heimautomatisierungssysteme haben im letzten Jahrzehnt die VerĂ€nderungen in der Daten-, Kommunikations- und Automobiltechnik stark geprĂ€gt und sind zu einem festen Bestandteil des tĂ€glichen Lebens geworden. Die damit verbundenen steigenden Anforderungen nach LeistungsfĂ€higkeit, Komfort, ZuverlĂ€ssigkeit und Sicherheit fĂŒhren zu einer wachsenden KomplexitĂ€t und Vernetzung eingebetteter Systeme, die neue Spezifikations- und Entwurfsverfahren bedĂŒrfen.

Dabei mĂŒssen frĂŒhzeitig die Auswirkungen der zugrundeliegenden Hardware-Architektur bei der Entwicklung der eingebetteten Software berĂŒcksichtigt und das Zusammenspiel der Software mit der zugrundeliegenden Hardware hinsichtlich Performanz, Leistungsaufnahme, Energieeffizienz, ZuverlĂ€ssigkeit und Robustheit analysiert werden. In dieser Vorlesung werden die aktuellen Forschungs- und Entwicklungstrends im Entwurf eingebetteter Systeme aufgezeigt, um die Studierenden frĂŒhzeitig an ein Thema mit hoher Industrierelevanz heranzufĂŒhren, wobei sowohl theoretisches Basiswissen als auch domĂ€nenspezifische Anwendungskompetenzen vermittelt werden.

Themen dieser Vorlesung sind:

  1. EinfĂŒhrung in die Modellierung von Eingebetteten Systemen
  2. Entwicklungsmethodik
  3. Modellierung
  4. Plattformbasierter Entwurf und Virtual Prototyping
  5. Performanzanalyse
  6. Echtzeitbetriebssysteme und Scheduling
  7. Antwortzeitanalyse
  8. Analyse von Energieeffizienz und Leistungsaufnahme
  9. Netzwerke fĂŒr eingebettete Systeme
  10. Moderne Entwicklungsmethoden im Automotiven Bereich am Beispiel AUTOSAR 

In den Übungen werden einige dieser Themen durch selbststĂ€ndige Bearbeitung entsprechender Probleme vertieft.

Literatur

  • P. Marwedel. Eingebettete Systeme. Springer, 2007.
  • C. Haubelt, J. Teich: Digitale Hardware/Software-Systeme: Spezifikation und Verifikation, Springer 2010.
  • W. Lange, M. Bogdan, T. Schweizer: Eingebettete Systeme: Entwurf, Modellierung und Synthese, De Gruyter Oldenbourg, 2. akt. Auflage, 2015.
  • J. Teich, C. Haubelt: Digitale Hardware/Software-Systeme: Synthese und Optimierung, Springer 2007.
  • D.D. Gajski et al. Embedded System Design. Springer, 2009.

Bemerkung

Die Organisation der Übungen findet in der ersten Vorlesungstunde statt.