Formale Methoden für eingebettete Systeme


Ergebnisse der Klausur vom 15.07.2008


| Matrikel


=== 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 ===

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

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland