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

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

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland