Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung Beide Seiten der Revision | |||
lehre:wise0910:formale_methoden [2009/06/08 11:48] schlich angelegt |
lehre:wise0910:formale_methoden [2009/06/08 12:00] schlich |
||
---|---|---|---|
Zeile 8: | Zeile 8: | ||
===== Inhalt ===== | ===== 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 ===== | ===== Termine ===== |