In der Vorlesung werden unterschiedliche Ansätze zur Modellierung verteilter und eingebetteter Systeme vorgestellt. Außerdem werden die wünschenswerten Eigenschaften eines Systems definiert und klassifiziert.
Es wird neben den klassischen funktionalen Eigenschaften wie Korrektheit oder Sicherheit auch auf nicht funktionale Eigenschaften wie Leistung, Zuverlässigkeit und Realzeitverhalten eingegangen.
Auf Basis der vorgestellten Modelltypen und der zu analysierenden Eigenschaften werden unterschiedliche Analysetechniken eingeführt. Weiterhin werden Architekturkonzepte vorgestellt, die zur Erreichung bestimmter Eigenschaften notwendig sind.
Es werden die folgenden Themengebiete behandelt:
Folien werden vorlesungsbegleitend zur Verfügung gestellt und sind nur aus dem Netz der TU zugreifbar.
Literaturhinwiese werden jeweils zu den einzelnen Kapiteln gegeben.
Vorausgesetzte Kenntnisse: Grundkenntnisse in verteilten Systemen und Rechnerarchitektur
Informationen zu den Übungen ab Jan. 2015
keine Übungsveranstaltung am 9.1. und 16.1.
Übung zu zeitbehafteten Automaten am 23.1.