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
Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information