Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:wise0809:seminar_statische_analyse [2009/05/04 14:02] brauer |
lehre:wise0809:seminar_statische_analyse [2011/11/21 17:33] (aktuell) |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Statische Analyse von Software für eingebettete Systeme ====== | ====== Statische Analyse von Software für eingebettete Systeme ====== | ||
| - | \\ | + | ~~NOTOC~~ |
| - | === 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:\\ | ||
| \\ | \\ | ||
| Zeile 12: | Zeile 12: | ||
| * 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. |
| - | \\ | + | |
| - | === Anforderungen === | + | ===== Anforderungen ===== |
| - | \\ | + | |
| * Teilnahme an allen Terminen | * Teilnahme an allen Terminen | ||
| * Eigenständige Einarbeitung in das gegebene Thema | * Eigenständige Einarbeitung in das gegebene Thema | ||
| Zeile 26: | Zeile 26: | ||
| * Deadlines strikt (Es genügt die Dateien per E-Mail zu schicken. Kein Schein bei zweimaligem Verpassen der Deadlines!). | * 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. | * Die Ausarbeitung und die Folien müssen selbstständig verfasst werden. Alle benutzten Quellen und Hilfsmittel müssen angegeben sowie Zitate kenntlich gemacht werden. | ||
| - | \\ | + | |
| - | === Unterlagen === | + | ===== Unterlagen ===== |
| - | \\ | + | |
| * [[http://www-i11.informatik.rwth-aachen.de/fileadmin/user_upload/Redakteure/herberich/vorlage.zip|Vorlage für die Ausarbeitung]] | * [[http://www-i11.informatik.rwth-aachen.de/fileadmin/user_upload/Redakteure/herberich/vorlage.zip|Vorlage für die Ausarbeitung]] | ||
| - | \\ | + | |
| - | === Kontakt === | + | ===== Kontakt ===== |
| - | \\ | + | |
| * [[:lehrstuhl:mitarbeiter:schlich|Bastian Schlich]] | * [[:lehrstuhl:mitarbeiter:schlich|Bastian Schlich]] | ||
| * [[:lehrstuhl:mitarbeiter:brauer|Jörg Brauer]] | * [[:lehrstuhl:mitarbeiter:brauer|Jörg Brauer]] | ||
| * [[https://www2.elearning.rwth-aachen.de/ws08/08ws-12892/description/default.aspx|L2P Lernraum]] | * [[https://www2.elearning.rwth-aachen.de/ws08/08ws-12892/description/default.aspx|L2P Lernraum]] | ||