====== Formale Methoden für eingebettete Systeme ======
\\
=== Ergebnisse der Klausur vom 15.07.2008 ===
\\
{|
|-
|| Matrikel	
|| Gesamtpunkte	
|| Bestanden
|| Schein
|| Note
|-
|| 227640
|| 41,5
|| ja
|| ja
|| 2,3
|-
||234097
|| 35
|| ja
|| ja
|| 3,0
|-
|| 234902
|| 22,5
|| nein
|| nein
|| 5,0
|-
|| 243572	
|| 28
|| ja
|| ja
|| 4,0
|-
|| 252518
|| 40
|| ja
|| ja
|| 2,3
|-
||266928
|| 27
|| ja
|| ja
|| 4,0
|-
||267736
|| 30,5
|| ja
|| ja
|| 3,7
|-
|| 267858
|| 38,5
|| ja
|| ja
|| 2,7
|-
||270752
|| 47
|| ja
|| ja
|| 1,3
|-
|| 283911
|| 19,5
|| nein
|| nein
|| 5,0
|-
|| 284012
|| 44
|| ja
|| ja
|| 1,7
|-
||284213
|| 28,5
|| ja
|| ja
|| 4,0
|-
|| 285023
|| 32,5	
|| ja
|| ja
|| 3,3
|-
|| 285024
|| 31,5
|| ja
|| ja
|| 3,7
|-
|| 285025
|| 27
|| ja
|| ja
|| 4,0
|-
|| 285237
|| 31
|| ja
|| ja
|| 3,7
|}
\\
=== Inhalt ===
\\
Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:\\
\\
    * Formale Modelle,
    * Hybride Systeme,
    * Verifikation, Model Checking
    * Algorithmische Synthese.
\\
Die Vorlesung wird auf Englisch gehalten.\\
\\
=== Literatur ===
\\
  * D. Peled: Software Reliability Methods. Springer, 2001.
  * E. Clarke, O. Grumberg, D. Peled: Model Checking. MIT Press, 2001.
  * B. Berard, M. Bidoit, A. Finkel: Systems and Software Verification. Springer, 2001
  * W. Ehrenberger: Software-Verifikation. Hanser, 2002.
\\
=== Termine ===
\\
  * Vorlesung: Dienstag 15:45 - 17:15, AH 6 (wöchentlich ab 08.04.2008) und Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 10.04.2008)
  * Übung: Donnerstag 13:15 - 14:45, AH 3 (zweiwöchentlich ab 17.04.2008)
\\
Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.\\
\\
=== Übung ===
\\
Um den Übungsschein zu erwerben
\\
  * dürfen Sie maximal einen Übungstermin entschuldigt versäumen,
  * müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren
  * und müssen die Klausur bestehen
\\
=== Kontakt ===
\\
  * Weitere Informationen im [[https://www2.elearning.rwth-aachen.de/ss08/08ss-04323/|L2P Lernraum]]
  * Gerlind Herberich
  * [[:lehrstuhl:mitarbeiter:schlich|Bastian Schlich]]
  * [[:lehrstuhl:mitarbeiter:weise|Carsten Weise]]
  * [[:lehrstuhl:mitarbeiter:gueckel|Dominique Gückel]]