Modellierung und Analyse eingebetteter und verteilter Systeme

Dozenten: Buchholz, Krumm

Termin:

Montag 10:15 - 12:00 wöchentlich (Beginn 11.10.2010)
Raum : Pavillon 8 - R 0.21

Dienstag 10:15 - 12:00 wöchentlich
Raum : R 420 Geschossbau V

Übungen

Es werden auch Übungen zu der Vorlesung angeboten.

Vorlesungsfolien

Einführung

• Überblick der Vorlesung

Funktionalität

• Funktionalität 1

Quantitative Aspekte

• Quantitative Aspekte - Einführung
• Quantitative Aspekte - 1 – Systemverhalten und nicht-funktionale Eigenschaften
• Quantitative Aspekte - 2 – Messung und Benchmarking

Funktionalität

• Funktionalität 2

Quantitative Aspekte

• Quantitative Aspekte – 3 – Zeitbehaftete Modelle in diskreter Zeit
• Quantitative Aspekte - 4 – Markov-Prozesse in diskreter Zeit
• Quantitative Aspekte - 5 – Markov-Prozesse in kontinuierlicher Zeit

Zuverlässigkeit

• Zuverlässigkeit 1
• Zuverlässigkeit 2

Quantitative Aspekte

• Quantitative Aspekte – 6 – Zuverlässigkeitsanalyse