Hauptinhalt

Vorlesung WS 11/12 (4 SWS Vorlesung, Nr. 041211, 2 SW Übung, Nr. )

Modellierung und Analyse eingebetteter und verteilter Systeme

Zeit:     Mo 10:00 - 12:00,  Pav. 2a - 016 (Beginn 10.10.11)

             Do  14:00 - 16.00, GB V HS 113

 

Veranstalter:     Peter Buchholz     (Tel.: (0231) 755 4746, Email: peter.buchholz@udo.edu),

                            Heiko Krumm      (Tel.: (0231) 755 4674,  Email: heiko.krumm@cs.tu-dortmund.de)

 

Inhalt der Vorlesung:

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:

• Einführung und Übersicht (Folien)
• Systemverhalten und nicht-funktionale Eigenschaften  (Folien)
• Messung und Benchmarking  (Folien)
• Funktionale Modelle und Eigenschaften 1(Funktionalität 1)
• Funktionale Modelle und Eigenschaften 2(Funktionalität 2)
• Markov Prozesse  (Folien)
• Modelle mit deterministischen Zeiten(Folien)
• Warteschlangennetze(Folien)
• Fehlertoleranz 1 (Fehlertoleranz 1)
• Fehlertoleranz 2 (Fehlertoleranz 2)
• Zuverlässigkeitsanalyse (Folien)

 

Die Vorlesungsfolien werden im Laufe des Semesters zur Verfügung gestellt.

Literaturhinwiese werden jeweils zu den einzelnen Kapiteln gegeben.

Vorausgesetzte Kenntnisse: Grundkenntnisse in verteilten Systemen und Rechnerarchitektur