Hauptinhalt

Übungen zur Vorlesung WS 13/14 (4 SWS Vorlesung, Nr. 041212, 2 SW Übung)

Modellierung und Analyse eingebetteter und verteilter Systeme

 

Übungstermine

Zeit:       Fr  14:00 -15.30, MSW-18 Raum 204-205

            Fr  16:15 -17.45, MSW-18 Raum 204-205

 

Betreuung

Iryna Felko

 

Hinweise

Die Anmeldung zu den Übungsgruppen erfolgt per Mail an iryna.felko(ät)udo.edu.

Die Ausgabe der Übungsblätter erfolgt montags (spätestens). Die bearbeiteten Aufgaben können bis zum auf dem Übungszettel angegebenen Datum per Mail an iryna.felko(ät)udo.edu gesendet werden (@ einsetzen). Bitte nur PDF oder Postscript nutzen.

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.

 

Ankündigungen

 

Am 25.10.12 finden die ersten Übungen im Raum 204-205 MSW-18 statt.

Übungsblätter

• Präsenzblatt (Praesenzblatt)
• SLAs/EMA (Übungsblatt 1)
• Petri-Netze/Bisimulation (Übungsblatt 2)
• CCS/STS (Übungsblatt 3)
• Markov-Ketten (Übungsblatt 4)
• Markov-Ketten Klassifikation/CTMCs (Übungsblatt 5)
• Markov-Ketten(Übungsblatt 6)
• Warteschlangentheorie(Übungsblatt 7)
• Warteschlangentheorie(Übungsblatt 8)
• CTL/LTL(Übungsblatt 9)
• Safety-und Liveness-Beweise/Zeitbehaftete Automaten(Übungsblatt 10)
• Zuverlässigkeit (Übungsblatt 11)
• Fehleranalyse (Übungsblatt 12)

 

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/) 

 

Forum

Zu fachlichen Diskussionen steht LS4-Forum zur Verfügung.