Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| — | lehre:wise1011:formale_methoden [2024/10/30 03:13] (aktuell) – angelegt - Externe Bearbeitung 127.0.0.1 | ||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| + | ====== 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 ===== | ||
| + | |||
| + | * Vorlesung: [[: | ||
| + | * Übung: [[: | ||
| + | |||
| + | ~~NOTOC~~ | ||