Statische Analyse von Software für eingebettete Systeme

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.

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.

• 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.

• Vorlage für die Ausarbeitung

• Bastian Schlich
• Jörg Brauer
• L2P Lernraum