Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:sose08:formale_methoden [2009/05/04 12:13] brauer angelegt |
lehre:sose08:formale_methoden [2011/11/21 17:33] (aktuell) |
||
|---|---|---|---|
| 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 76: | Zeile 76: | ||
| || ja | || ja | ||
| || 1,7 | || 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 | ||
| |} | |} | ||
| - | + | \\ | |
| - | 284213 | + | === Inhalt === |
| - | + | \\ | |
| - | + | Anwendung formaler Methoden in der Entwicklung eingebetteter Systeme:\\ | |
| - | 28,5 | + | \\ |
| - | + | * Formale Modelle, | |
| - | + | * Hybride Systeme, | |
| - | ja | + | * Verifikation, Model Checking |
| - | + | * Algorithmische Synthese. | |
| - | + | \\ | |
| - | ja | + | Die Vorlesung wird auf Englisch gehalten.\\ |
| - | + | \\ | |
| - | + | === Literatur === | |
| - | 4,0 | + | \\ |
| - | + | * D. Peled: Software Reliability Methods. Springer, 2001. | |
| - | 285023 | + | * 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. | |
| - | 32,5 | + | \\ |
| - | + | === Termine === | |
| - | + | \\ | |
| - | ja | + | * 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) | |
| - | + | \\ | |
| - | ja | + | Änderungen werden im Campus System und im L2P Lernraum bekannt gegeben.\\ |
| - | + | \\ | |
| - | + | === Übung === | |
| - | 3,3 | + | \\ |
| - | + | Um den Übungsschein zu erwerben | |
| - | 285024 | + | \\ |
| - | + | * dürfen Sie maximal einen Übungstermin entschuldigt versäumen, | |
| - | + | * müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren | |
| - | 31,5 | + | * und müssen die Klausur bestehen |
| - | + | \\ | |
| - | + | === Kontakt === | |
| - | ja | + | \\ |
| - | + | * Weitere Informationen im [[https://www2.elearning.rwth-aachen.de/ss08/08ss-04323/|L2P Lernraum]] | |
| - | + | * Gerlind Herberich | |
| - | ja | + | * [[:lehrstuhl:mitarbeiter:schlich|Bastian Schlich]] |
| - | + | * [[:lehrstuhl:mitarbeiter:weise|Carsten Weise]] | |
| - | + | * [[:lehrstuhl:mitarbeiter:gueckel|Dominique Gückel]] | |
| - | 3,7 | + | |
| - | + | ||
| - | 285025 | + | |
| - | + | ||
| - | + | ||
| - | 27 | + | |
| - | + | ||
| - | + | ||
| - | ja | + | |
| - | + | ||
| - | + | ||
| - | ja | + | |
| - | + | ||
| - | + | ||
| - | 4,0 | + | |
| - | + | ||
| - | 285237 | + | |
| - | + | ||
| - | + | ||
| - | 31 | + | |
| - | + | ||
| - | + | ||
| - | ja | + | |
| - | + | ||
| - | + | ||
| - | ja | + | |
| - | + | ||
| - | + | ||
| - | 3,7 | + | |