Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| — | lehre:wise0910:formale_methoden [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1 | ||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== 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, | ||
| + | | 15.09.2009 | Die erste Vorlesung findet am 13.10.2009 in AH III statt. | | ||
| + | |||
| + | ===== 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 ===== | ||
| + | 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 ===== | ||
| + | |||
| + | 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 ===== | ||
| + | |||
| + | * Vorlesung: [[: | ||
| + | * Übung: [[: | ||
| + | |||
| + | ~~NOTOC~~ | ||
| + | |||
| + | |||
| + | |||