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: Dr.rer.nat. Bastian Schlich
Übung: Dr. rer. nat. Jörg Brauer und Dipl.-Inform. Paul Hänsch

Lehrstuhl

Forschung

Tools

Lehre