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:
- Entweder über die Weboberfläche der Listensoftware. Dort mit der KIZ-Adresse links oben einloggen und anschließend "subscribe" wählen.
- 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