Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:
formale Modelle,
hybride Systeme,
Verifikation,
Model Checking.
Die Vorlesung wird in Deutsch gehalten.
Vorlesung
Die Vorlesung findet donnerstags von 10:00 - 11:30 im AH 1 statt.
Dokumente
| Termin
=== Literatur ===
D. Peled: Software Reliability Methods. Springer, 2001.
E. Clarke, O. Grumberg, D. Peled: Modelchecking. MIT Press, 2001.
B. Berard, M. Bidoit, A. Finkel: Systems and Software Verification. Springer, 2001
W. Ehrenberger: Software-Verifikation. Hanser, 2002.
=== Übung ===
Die Übung findet für jede Gruppe jeweils alle vierzehn Tage mittwochs 15:15 - 16:45 im AH 3 statt. Die voraussichtlichen Termine sind unten aufgeführt. Die Übungen werden zum Teil thematisch aufeinander aufbauen. Aus diesem Grund ist es sinnvoll, an allen Übungsterminen aktiv teilzunehmen.
=== Übungstermine und -blätter ===
| A-Termin
| B-Termin
| Ort
| Übung
| 2006-04-12
| 2006-04-19
| AH 3
| 1. Übung
| 2006-04-26
| 2006-05-03
| AH 3
| 2. Übung, Beispiel
| 2006-05-10
| 2006-05-17
| AH 3
| 3. Übung
| 2006-05-24
| 2006-05-31
| 2323
| 4. Übung, Beispiel
| 2006-06-21
| 2006-06-28
| 2323
| 5. Übung (kein neues Blatt)
| 2006-07-05
| 2006-07-12
| 2323
=== Übungsschein ===
Um einen Übungschein zu erlangen, müssen Sie
an mindestens 5 Übungsterminen anwesend sein,
mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren und
die Klausur am 2006-07-13 bestehen.
=== Software ===
In der Übung wird der Model-Checker SMV verwendet.
Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information