====== Formale Methoden für eingebettete Systeme ======

===== Neuigkeiten =====

===== 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 12:15 - 13:45 2002 (EG Altbau Hörn)

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

~~NOTOC~~