====== 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 =====
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: [[:lehrstuhl:mitarbeiter:schlich]]
  * Übung: [[:lehrstuhl:mitarbeiter:brauer]] und [[:lehrstuhl:mitarbeiter:haensch]]

~~NOTOC~~