Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:wise0910:formale_methoden [2009/06/08 11:48] schlich angelegt |
lehre:wise0910:formale_methoden [2009/06/08 13:05] schlich |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Formale Methoden für eingebettete Systeme ====== | ====== Formale Methoden für eingebettete Systeme ====== | ||
| \\ | \\ | ||
| - | |||
| - | |||
| - | ===== Aktuelles ===== | ||
| - | \\ | ||
| - | |||
| ===== 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: | ||
| + | * Abstrakte Interpretation | ||
| + | * Model-Checking | ||
| + | * Statische Analyse | ||
| + | \\ | ||
| + | Dabei werden die formalen Methoden auf unterschiedliche Modelle angewendet. Zu den behandelten Modellen zählen: | ||
| + | * Automaten | ||
| + | * Zeitautomaten | ||
| + | * ggf. hybride Automaten | ||
| + | * Assembler-Code | ||
| + | * C-Code | ||
| + | * 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. | ||
| + | \\ | ||
| + | Montag 10:00 - 11:30 AH I \\ | ||
| + | Dienstag 10:00 - 11:30 AH III | ||
| + | \\ | ||
| \\ | \\ | ||
| ===== Übung ===== | ===== Übung ===== | ||
| + | Um den Übungsschein zu erhalten | ||
| + | * dürfen Sie einen Übungstermin entschuldigt versäumen | ||
| + | * und müssen Sie mindestens einmal mit Ihrer Gruppe eine Lösung präsentieren | ||
| + | * und die Klausur bestehen. | ||
| \\ | \\ | ||
| ===== Kontakt ===== | ===== Kontakt ===== | ||
| + | \\ | ||
| + | ==== Vorlesung ==== | ||
| + | [[:lehrstuhl:mitarbeiter:schlich]] | ||
| + | \\ | ||
| + | \\ | ||
| + | ==== Übung ==== | ||
| + | [[:lehrstuhl:mitarbeiter:brauer]] | ||
| + | \\ | ||
| + | \\ | ||
| ~~NOTOC~~ | ~~NOTOC~~ | ||