Entwurfsmethodik Eingebetteter Echtzeitsysteme
Kursinformationen
Allgemeines
Eingebettete Systeme sind weltweit die am meist verbreiteten Rechensysteme und ĂŒberall im tĂ€glichen Leben, wie z.B. im Automobil, DVD-Player, Telefon, etc., zu finden. Das Hauptmerkmal dieser Systeme ist die Integration eines Rechensystems in einen bestimmten technischen Kontext was zu besonderen Herausforderungen bei der Entwicklung fĂŒhrt. In der Vorlesung wird auf verschiedene eingebettete Systeme sowie deren Modellierung, Analyse und Optimierung eingegangen.
Lernziele
Die Studierenden sollen die theoretischen Grundlagen, welche fĂŒr die Verifikation, Analyse und Optimierung eingebetteter Systeme notwendig sind, erlernen. Im besonderen sollen die Studierenden grundlegende Kenntnisse in der formalen Echtzeitverifikation erlangen.
Leistungsnachweise und Notebildung
MĂŒndliche oder schriftliche PrĂŒfung (abhĂ€ngig von Teilnehmerzahl). Die Modulnote ergibt sich durch das Ergebnis der PrĂŒfung.
Literatur
- JĂŒrgen Teich, Digitale Hardware/Software Systeme, Springer
- Peter Marwedel, Eingebette Systeme, Springer
- Zbigniew Michalewicz und David B. Fogel, Modern Heuristics, Springer
- Giorgio Buttazzo, Hard Real-Time Computing Systems, Springer