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

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)

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.

• Vorlesung: Dr. rer. nat. Jörg Brauer
• Übung: Dr. rer. nat. Dominique Marcel Gückel