Hauptinhalt

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

Modellierung und Analyse eingebetteter und verteilter Systeme

 

Übungstermine

Zeit:     Fr   12:00 -14:00, MSW-16 Raum E30

             Fr  14:00 -16.00, MSW-18 Raum 204-205

 

Betreuung

Iryna Felko

 

Hinweise

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

Ab 1.12.11 findet erste Übung (freitags 12-14 Uhr) im Raum E30 MSW-16 statt.

Ab 25.11.11 findet zweite Übung (freitags 14-16 Uhr) im Raum 204-205 MSW-18 statt.

 

Übungsblätter

• Präsenzblatt (Übungsblatt 1)
• Ereignisdiskrete Systeme und SLAs (Übungsblatt 2)
• Erweiterte Mealy-Automaten und Petri-Netze (Übungsblatt 3)
• LTS-Bisimulation und Calculus of Communicating Systems (Übungsblatt 4)
• STS und Safety-/Liveness-Eigenschaften (Übungsblatt 5)
• Markov Prozesse (Übungsblatt 6)
• Markov Prozesse: Klassifikation; CTMC (Übungsblatt 7)
• Markov Prozesse: Uniformisierung (Übungsblatt 8)
• CTL: Model Checking und Systemmodellierung (Übungsblatt 9)
• LTL und Model Checking mit SPIN (Übungsblatt 10)
• Zeitbehaftete Automaten und Safety-/Liveness-Beweise (Übungsblatt 11)
• Fehleranalyse (Übungsblatt 12)
• Zuverlässigkeitsanalyse (Übungsblatt 13)

 

Nützliche Links

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

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