Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:wise0910:formale_methoden [2009/06/08 13:03] schlich |
lehre:wise0910:formale_methoden [2009/10/28 16:00] (aktuell) haensch |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
| - | \\ | + | |
| + | ===== Neuigkeiten ===== | ||
| + | | 05.10.2009 | Aus organisatorischen Gründen findet die erste Vorlesung am 13.10.2009 statt. Für Masterstudenten, die an der Einführungsveranstaltung der Fachgruppe teilnehmen wollen, bieten wir eine Zusammenfassung an. Außerdem können die Folien der ersten Veranstaltung über das L2P System bezogen werden.| | ||
| + | | 15.09.2009 | Die erste Vorlesung findet am 13.10.2009 in AH III statt. | | ||
| ===== Inhalt ===== | ===== Inhalt ===== | ||
| In dieser Vorlesung werden verschiedene formale Methoden erklärt und es wird gezeigt wie diese in der Entwicklung eingebetteter Systeme verwendet werden können. Zu diesen formalen Methoden zählen: | In dieser Vorlesung werden verschiedene formale Methoden erklärt und es wird gezeigt wie diese in der Entwicklung eingebetteter Systeme verwendet werden können. Zu diesen formalen Methoden zählen: | ||
| Zeile 14: | Zeile 18: | ||
| * C-Code | * C-Code | ||
| * ggf. MATLAB Modelle | * ggf. MATLAB Modelle | ||
| - | \\ | ||
| ===== Termine ===== | ===== Termine ===== | ||
| - | Die Vorlesung wird in Deutsch gehalten. Die Übung findet 14-tägig statt, in der Woche in der keine Übung statt findet, findet an beiden Terminen die Vorlesung statt. | + | Die Vorlesung wird in Deutsch gehalten. Die Übung findet 14-tägig statt. In der Woche in der keine Übung statt findet, findet an beiden Terminen die Vorlesung statt.\\ |
| - | \\ | + | * Montag 10:00 - 11:30 AH I |
| - | Montag 10:00 - 11:30 AH I | + | * Dienstag 10:00 - 11:30 AH III |
| - | Dienstag 10:00 - 11:30 AH III | + | |
| - | \\ | + | |
| - | \\ | + | |
| ===== Übung ===== | ===== Übung ===== | ||
| + | |||
| Um den Übungsschein zu erhalten | Um den Übungsschein zu erhalten | ||
| * dürfen Sie einen Übungstermin entschuldigt versäumen | * dürfen Sie einen Übungstermin entschuldigt versäumen | ||
| * und müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren | * und müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren | ||
| * und die Klausur bestehen. | * und die Klausur bestehen. | ||
| - | \\ | ||
| ===== Kontakt ===== | ===== Kontakt ===== | ||
| - | \\ | + | |
| - | ==== Vorlesung ==== | + | * Vorlesung: [[:lehrstuhl:mitarbeiter:schlich]] |
| - | [[:lehrstuhl:mitarbeiter:schlich]] | + | * Übung: [[:lehrstuhl:mitarbeiter:brauer]] und [[:lehrstuhl:mitarbeiter:haensch]] |
| - | \\ | + | |
| - | \\ | + | |
| - | ==== Übung ==== | + | |
| - | [[:lehrstuhl:mitarbeiter:brauer]] | + | |
| - | \\ | + | |
| - | \\ | + | |
| ~~NOTOC~~ | ~~NOTOC~~ | ||