Hauptinhalt

Übungen zur Vorlesung WS 15/16 (4 SWS Vorlesung, Nr. 041214, 2 SWS Übung)

Modellierung und Analyse eingebetteter und verteilter Systeme

 

Übungstermine

• Fr. 12:00 bis 14:00, Otto-Hahn-Str 14 - E02
• Fr. 14:00 bis 16:00, Otto-Hahn-Str. 16 -  R. 205

 

Betreuung

Iryna Felko

 

Hinweise

• Die Anmeldung zu den Übungsgruppen erfolgt per Mail an iryna.felko(ät)cs.tu-dortmund.de
• Übungsblätter werden übungsbegleitend zur Verfügung gestellt.
• Die bearbeiteten Aufgaben können bis zum auf dem Übungszettel angegebenen Datum per Mail an iryna.felko(ät)cs.tu-dortmund.de gesendet werden (@ einsetzen). Bitte nur PDF oder Postscript nutzen.
• Für Diplomstudierende: Zum Erlangen eines Übungsscheins ist eine aktive Teilnahme an den Übungen notwendig, d.h. Anwesenheit und Präsentation der gelösten Aufgaben. Des Weiteren müssen mindestens 60% der Gesamtpunktzahl erreicht werden.

Übungsblätter

• Präsenzblatt (Übungsblatt 1)
• EMA/Petri-Netze (Übungsblatt 2)
• Bisimulation/CCS (Übungsblatt 3)
• STS/Safety- und Livenesseigenschaften (Übungsblatt 4)
• SLAs/Markov-Ketten (Übungsblatt 5)
• DTMCs(Übungsblatt 6)
• CTMCs(Übungsblatt 7)

• WS(Übungsblatt 8)

• WSN(Übungsblatt 9)
• Model Checking (Übungsblatt 10)
• CTL Model Checking (Übungsblatt 11)

• Safety/Liveness (Übungsblatt 12)

• ZA/Zuverlässigkeit (Übungsblatt 13)

• Zuverlässigkeit (Übungsblatt 14)

 

Nützliche Links

Java Modelling Tools (http://jmt.sourceforge.net/)

The R project for statistical computing (http://www.r-project.org/)

SPIN Model Checker (http://www.spinroot.com/)