direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Sommersemester 2009

Inhalt
Es werden aktuelle Thema aus dem Gebiet Programmierung eingebetteter Systeme vertiefend behandelt. In diesem Semester steht dabei die Qualitätssicherung eingebetteter Systeme im Vordergrund. Die Teilnehmer sollen sich mit dem neuesten Stand der Forschung zu einem bestimmten Thema aus diesem Gebiet vertraut machen, am Ende des Semesters einen Vortrag dazu halten und eine Ausarbeitung von etwa 6-10 Seiten anfertigen. Das Seminar wird als Blockseminar abgehalten.

Folgende Themen stehen zur Auswahl:


  1. Kampf den Softwarefehlern, aber wie?
    Programmanalyse versus Model Checking
  2. Real-Time Testen
    Uppaal, TorX und TTCN-3
  3. Concurrent Architectures
    Optimierung und Partitionierung rekonfigurierbarer Systeme
LV-Daten
Art und Form
Seminar, 2 SWS
Diplomstudiengang Informatik und Technische Informatik
Vertiefungsveranstaltung im Studiengebiet SSG (Softwaretechnik und Systemgestaltung)
Masterstudiengang Informatik und Technische Informatik
Pflichtfach in den Modulen Compiler-Optimierung für Eingebettete Systeme
(MINF-SE-COES/SE.S09) und Software Engineering Eingebetteter Systeme
(MINF-SE-SEES/SE.S09)
LV-Nummer
0434 L 170
Veranstalter
Glesner, Herber
Zeit und Ort
Blockseminar: 25./26.06.09
Vorbereitungstermin
Montag, 27. April 2009, 10:30 Uhr, Raum FR 2045
Teilnehmerbeschänkung
12
Anmeldung
in der Einführungsveranstaltung