Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:wise0809:seminar_statische_analyse [2009/05/04 11:53] brauer |
lehre:wise0809:seminar_statische_analyse [2009/05/04 14:02] brauer |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Statische Analyse von Software für eingebettete Systeme ====== | ====== Statische Analyse von Software für eingebettete Systeme ====== | ||
| + | \\ | ||
| === Inhalt === | === Inhalt === | ||
| - | + | \\ | |
| - | In diesem Seminar beschäftigen wir uns mit verschiedenen statischen Analysen für Software für eingebettete Systeme. Stichwörter in diesem Zusammenhang sind: | + | In diesem Seminar beschäftigen wir uns mit verschiedenen statischen Analysen für Software für eingebettete Systeme. Stichwörter in diesem Zusammenhang sind:\\ |
| + | \\ | ||
| * Statische Analyse | * Statische Analyse | ||
| * Datenflussanalyse | * Datenflussanalyse | ||
| Zeile 10: | Zeile 11: | ||
| * Shape Analysis | * Shape Analysis | ||
| * Worst Case Execution Time | * Worst Case Execution Time | ||
| + | \\ | ||
| Ein Teil der Themen wird sich mit den jeweiligen Grundlagen beschäftigen. Andere Themen werden im Bereich der Anwendung dieser Techniken liegen.\\ | Ein Teil der Themen wird sich mit den jeweiligen Grundlagen beschäftigen. Andere Themen werden im Bereich der Anwendung dieser Techniken liegen.\\ | ||
| \\ | \\ | ||
| === Ablauf === | === Ablauf === | ||
| + | \\ | ||
| Dieses Seminar wird als Blockseminar durchgeführt. Das erste Treffen wird am Ende der vorlesungsfreien Zeit oder zum Beginn des Wintersemesters durchgeführt. Das Blockseminar wird dann im Februar 2009 an zwei aufeinander folgenden Tagen abgehalten. Zwischendurch wird es einige Deadlines zur Abgabe der schriftlichen Ausarbeitung und der Folien geben, die eingehalten werden müssen.\\ | Dieses Seminar wird als Blockseminar durchgeführt. Das erste Treffen wird am Ende der vorlesungsfreien Zeit oder zum Beginn des Wintersemesters durchgeführt. Das Blockseminar wird dann im Februar 2009 an zwei aufeinander folgenden Tagen abgehalten. Zwischendurch wird es einige Deadlines zur Abgabe der schriftlichen Ausarbeitung und der Folien geben, die eingehalten werden müssen.\\ | ||
| \\ | \\ | ||