PDV/Robotik - Seminar im WS 2007/08

Seminar: Komplexe eingebettete Systeme

Seminar (2 SWS SE) im Studiengebiet TNA bzw. im Fach Prozessdatenverarbeitung

Allgemeine Informationen

Zeit, Ort: Donnerstag 12-14 Uhr, EN189
Beginn: 18.10.2007
Dozenten: Armin Zimmermann, Christian Fleischer
Anmeldung erforderlich: vom cs-Netz aus per PDV-Anmeldeprogramm
Teilnahmebeschränkung: maximal 10 Teilnehmer / Teilnehmerinnen; Anwesenheit beim ersten Termin zur Themenvergabe ist Pflicht!

Inhalt

Entwurf und Programmierung komplexer eingebetteter Systeme - moderne eingebettete Systeme sind nicht mehr auf Mikrocontroller beschränkt, die in C programmiert werden und deren Echtzeitverhalten einfach nachgewiesen werden kann. Das Seminar beschäftigt sich mit Lösungsmöglichkeiten für die daraus entstehenden Probleme. Stichworte sind Modellierung, Simulation und Verifikation im Entwurfsprozess, Entwurfsmethoden für komplexe eingebettete Systeme, und Multicore-Systeme.

Angebotene Themen:

Multi-Core Architectures for Embedded Systems
(ARM11 MPCore, MIPS 34K)
OpenMP: Shared Memory API
Intel Threading Building Blocks
Algorithmen für Multi-Core Systeme
Performance of Multi-Core Embedded Systems
Architekturen und Frameworks für wiederverwendbare Softwarekomponenten - AUTOSAR
SystemC
Symbolische Simulation und Verifikation mit UPPAAL
Model-based Automated Analysis for Dependable Interactive Systems
Model-Checking of Software (BLAST)

Literaturhinweise zum Einstieg für die eigene Recherche:

Themen-spezifische Hinweise werden in der Lehrveranstaltung für jedes Thema individuell gegeben
Universitätsbibliothek
Veröffentlichungs-Google
Literaturdatenbank CiteSeer
IEEE Xplore (Volltext nur aus dem Uni-Netz erreichbar)
Wikipedia
Hersteller-Seiten, White Papers

Formales

Jede(r) Teilnehmende (zumindest, wer einen Schein möchte!) hält einen Vortrag von etwa 30 Minuten Länge mit anschließender Diskussion bzw. Fragen. Die Themen werden in der ersten Veranstaltung vergeben. Literatur bzw. Literaturhinweise werden als Einstieg für jedes Thema zur Verfügung gestellt. Es sollen insbesondere die Konzepte verständlich anhand konkreter Beispiele vorgestellt werden. Außerdem wird mit den Vorträgen Vortragstechnik und -stil trainiert und bewertet. Eine elektronische Kopie des Vortrags wird in die Webseiten eingestellt (Passwort wird im Seminar bekanntgegeben).

Zum Inhalt des Vortrags ist außerdem eine Ausarbeitung im Stil eines wissenschaftlichen Papiers abzugeben (6-10 Seiten Umfang), die in die Bewertung eingeht. Spätester Abgabetermin ist 4 Wochen nach dem jeweiligen Vortrag.

Für die Teilnehmer der Veranstaltung gilt Anwesenheitspflicht: wer mehr als einmal ohne nachgewiesenen triftigen Grund fehlt, erhält keinen Schein.

Zeitplan

Termin	Nr.	Thema
18.10.2007		Vorstellung und Vergabe der Themen
01.11.2007		Vorträge halten und wissenschaftliche Texte schreiben / Ausarbeitung
22.11.2007	1	Multi-Core Architectures for Embedded Systems - Ausarbeitung (Jakob Lexow)
29.11.2007	2	OpenMP (Daniel Pirch)
06.12.2007	4	Algorithmen für Multi-Core Systeme - Ausarbeitung (Igor Linkov)
13.12.2007	5	Performance of Multi-Core Embedded Systems - Ausarbeitung (Alexej Tuchscherer)
		Weihnachten
24.01.2008	6	AUTOSAR - Ausarbeitung (Enrico Stephan)
31.01.2008	7	SystemC - Ausarbeitung (Ivo Trowitzsch)
14.02.2008	9	Model-based Automated Analysis for Dependable Interactive Systems (Jürgen Sacher)

Letzte Änderung: 04.02.08

Impressum