Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:sose08:formale_methoden [2009/05/04 12:28] brauer |
lehre:sose08:formale_methoden [2009/05/04 14:04] brauer |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
| + | \\ | ||
| === Ergebnisse der Klausur vom 15.07.2008 === | === Ergebnisse der Klausur vom 15.07.2008 === | ||
| + | \\ | ||
| {| | {| | ||
| |- | |- | ||
| Zeile 106: | Zeile 107: | ||
| || 3,7 | || 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) | ||
| + | * 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]] | ||