Proseminar Hardware/Software Co-Design im Sommersemester 2013

Allgemeine Informationen zur Veranstaltung

Ablauf

Themenvergabe

Die Themenvergabe findet am 16.04.2013, 10 Uhr c. t. in Raum 027/312 (Besprechungsraum des Instituts) statt.

Um eine Teilnahme garantieren zu können, wird um eine Voranmeldung per E-Mail an Arno.Luppold(at)uni-ulm.de gebeten.

Ausarbeitung

Abgabe der vorläufigen Version:16.06.2013
Abgabe der endgültigen Version:19.07.2013

Präsentation

Abgabe der vorläufigen Version:18.08. 2013
Vortragstermin:September 2013 (genauer Termin wird gegen Semesterende festgelegt)

Kontakt

Dipl.-Ing. Arno Luppold
Institut für Eingebettete Systeme/Echtzeitsysteme
Fakultät für Ingenieurwissenschaften und Informatik
Universität Ulm

Prof. Dr. Heiko Falk
Institut für Eingebettete Systeme/Echtzeitsysteme
Fakultät für Ingenieurwissenschaften und Informatik
Universität Ulm
 

Mailingliste

Für das Proseminar ist eine Mailingliste eingerichtet worden. Sie wird für den Versand von organisatorischen Informationen verwendet, daher sollte sie jeder Teilnehmer abonnieren. Dazu gibt es zwei Möglichkeiten:

  1. Entweder über die Weboberfläche der Listensoftware. Dort mit der KIZ-Adresse links oben einloggen und anschließend "subscribe" wählen.
  2. Oder per eMail an die Adresse sympa(at)lists.uni-ulm.de und dem folgenden Text (ohne Umbruch) als Inhalt: subscribe hsc13.esys

Die Mailingliste soll auch für den Austausch von interessanten Inhalten für die Teilnehmer dienen.
 

Themenvorschläge

Entwurfsmethoden

  • System-Level Design
  • Automatenbasierter Systementwurf
  • Formale Entwurfsprozesse

Technologien

  • Integrierte Hardware- / Softwaresysteme
  • Bus-Zugriffsverfahren
  • Parallelisierungsverfahren in Hardware und Software
  • Rekonfigurierbare Eingebettete Systeme

Echtzeit

  • Echtzeit-Scheduling
    • VPräemptives und Nicht-Präemptive Schedulingverfahren: Vor- und Nachteile
    • EDF / RMS / DMS
  • Probleme bei der „Worst Case Execution Time“-Analyse…
    • … von Softwaresystemen
    • … von Hardware

Optimierungsmethoden

  • Festlegung der Hardware/Software-Partitionierung im Systementwurf
  • Heuristische Optimierungsverfahren
    • Evolutionäre Algorithmen
    • Gierige Algorithmen (Greedy Heuristic Algorithms)
  • Ideale Optimierungsverfahren
    • Integer Lineare Probleme (ILP)

Verifikation und Simulation

  • Model Checking
  • Verfahren zur Antwortszeitanalyse
  • System-Level Simulation
  • Simulation von Hardware