Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Modellierung und Analyse eingebetteter und verteilter Systeme

Vorlesung WS 18/19 (4 SWS Vorlesung, Nr. 041213, 2 SWS Übung, Nr.  041214)

Modellierung und Analyse eingebetteter und verteilter Systeme

Zeit:
  • Mo 10:00 - 12:00, Otto-Hahn-Str. 16 - R. 205
  • Do 12:00 - 14.00, Otto-Hahn-Str. 16 - R. 205

 

Aktuelles:

Die Vorlesung am Montag, den 10.12.18 fällt aus!

Veranstalter:  
  • Peter Buchholz    (Tel.: (0231) 755 4746, Email: peter.buchholz@cs.tu-dortmund.de),
  • 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. Dazu erfolgt zu Beginn der Vorlesung die Definition und Klassifikation wünschenswerter Eigenschaften eines Systems. Neben den klassischen funktionalen Eigenschaften wie Korrektheit oder Sicherheit untersuchen wir auch nicht funktionale Eigenschaften wie Leistung, Zuverlässigkeit und Realzeitverhalten. Die Analyse erfolgt modellbasiert.

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.

In der Vorlesung behandelte Themengebiete:

  • Einführung und Übersicht (Folien)
  • Modelle zur funktionalen Analyse und deren Eigenschaften 1 (Folien)
  • Systemverhalten und nicht-funktionale Eigenschaften  (Folien)
  • Messung und Benchmarking (Folien)
  • Markov Prozesse (Folien)
  • Warteschlangennetze (Folien)
  • Model Checking und Eigenschaftsbeweise (Folien)
  • Modelle mit deterministischen Zeiten und Zeitintervallen (Folien)
  • Fehlertoleranz 1 (Folien)
  • Fehlertoleranz 2 (Folien)
  • Zuverlässigkeitsanalyse (Folien)

Zur Zeit sind teilweise die Folien vom letzten Jahr zugreifbar. Eine neue leicht überarbeitete Version wird vorlesungsbegleitend verfügbar gemacht. Der Zugriff auf die Folien ist nur aus dem Netz der TU möglich. 

Literaturhinwiese werden jeweils zu den einzelnen Kapiteln gegeben.

Vorausgesetzte Kenntnisse: Grundkenntnisse in verteilten Systemen und Rechnerarchitektur