Seminar: Statische Analyse von Software für eingebettete Systeme
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:
Statische Analyse
Datenflussanalyse
Kontrollflussanalyse
Abstrakte Interpretation
Shape Analysis
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.
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.
Anforderungen
Teilnahme an allen Terminen
Eigenständige Einarbeitung in das gegebene Thema
Schriftliche Ausarbeitung von 10-15 Seiten / Person in der von uns zur Verfügung gestellten Vorlage
Vortrag von 30 Minuten (strikt) / Person
Deadlines strikt (Es genügt die Dateien per E-Mail zu schicken. Kein Schein bei zweimaligem Verpassen der Deadlines!).
Die Ausarbeitung und die Folien müssen selbstständig verfasst werden. Alle benutzten Quellen und Hilfsmittel müssen angegeben sowie Zitate kenntlich gemacht werden.
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