Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
|
lehre:sose08:formale_methoden [2009/05/04 12:31] brauer |
lehre:sose08:formale_methoden [2011/11/21 17:33] |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | ====== 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) | ||
| - | * 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]] | ||