Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Nächste Überarbeitung | Vorhergehende Überarbeitung 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 7: | Zeile 7: | ||
| ===== 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 | ||
| \\ | \\ | ||