Hauptinhalt

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

Modellierung und Analyse eingebetteter und verteilter Systeme

 

Übungstermine

Zeit:       Fr  08:30 -10:00, MSW-18 Raum 204-205

            Fr  14:15 -15.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 folgenden Montag 12:00 Uhr 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 26.10.12 finden keine Übungsgruppen statt. Die Besprechung des 2. Übungsblattes findet am 02.11.12 statt.

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

 

Übungsblätter

• Präsenzblatt (Übungsblatt 1)
• SLAs/EMA (Übungsblatt 2)
• Petri-Netze/LTS (Übungsblatt 3)
• CCS/Safety- und Liveness-Eigenschaften (Übungsblatt 4)
• STS/CTL (Übungsblatt 5)
• Model Checking (Übungsblatt 6)
• Safety- und Liveness-Beweise/Zeitbehaftete Automaten (Übungsblatt 7)
• Markov-Ketten (Übungsblatt 8)
• Markov-Ketten/Klassifikation der Zustände (Übungsblatt 9)
• Markov-Ketten/Uniformisierung (Übungsblatt 10)
• Warteschlangen (Übungsblatt 11)
• Zuverlässigkeitsanalyse (Übungsblatt 12)
• Fehleranalyse (Übungsblatt 13)

 

Nützliche Links

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.