Sinn dieses Seminars ist es, sich mit einem Themengebiet aus dem Bereich der Echtzeitsysteme und Eingebetteten Systeme und angrenzenden Themen intensiv und selbständig wissenschaftlich auseinanderzusetzen. Das Thema ist in einem mündlichen Vortrag und einer schriftlichen Ausarbeitung zusammenzufassen. Ein weiterer Sinn dieses Seminars ist es, das Arbeiten in strukturierten zeitlichen Abläufen zu praktizieren, wie es z.B. für Workshops/Tagungen üblich ist. Beide Aspekte sind erfahrungsgemäß eine gute Vorbereitung auf die Anfertigung einer Abschlussarbeit.
Dieses Seminar wird in zwei Varianten angeboten, als Bachelor-Modul und als Master-Modul. Im Vergleich zum Bachelorseminar erwartet das Masterseminar eine größere Einbeziehung von verwandten Arbeiten, und dementsprechend eine umfangreichere Ausarbeitung und Präsentation (siehe unten).
Voraussetzungen
Für die Bearbeitung der Themen ist der erfolgte Besuch der Vorlesung Eingebettete Echtzeitsysteme nicht zwingend, es sollten jedoch die für das konkrete Thema relevanten Inhalte der Vorlesung nachgearbeitet werden. Die DozentInnen helfen hier natürlich gerne weiter.Wir empfehlen zudem den Besuch der Blockveranstaltung Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten von Frau Peters.
Dozenten
Reinhard von Hanxleden (rvh@informatik.uni-kiel.de)
Steven Smyth (ssm@informatik.uni-kiel.de)
Alexander Schulz-Rosengarten (als@informatik.uni-kiel.de)
Themen
Zur Verfügung stehen die folgenden Paper. Sie sind grob in Master- und Bachelor-Themen eingeteilt, anhand von Umfang, Komplexität und benötigtem Vorwissen. Dies soll aber nicht davon abhalten bei überwältigendem Interesse auch als Bachelor ein Master-Thema zu bearbeiten.
Die aktuelle Auswahl ist vorläufig! Die Themen können bereits gewählt werden, aber bis zum Beginn Kickoff des Wintersemesters Seminars wird die Liste ggf. noch erweitert.
Die Paper werden first-come-first-serve vergeben. Ist ein Paper schon an jemanden vergeben, vermerken wir das hier.
Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
Bachelor Empfehlung
TBA
Master Empfehlung
...
- Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval, "WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores", In /Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014)/, Berlin, Germany, 2014, PDF hier
- Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems", Proceedings of the IEEE (special issue on CPS)/, 100(1):13-28, January 2012, PDF hier
- Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, PDF hier
- Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, PDF hier
- Aleksandar Markovic: Biswajit Mazumder, Jason O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, PDF hier
- A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, PDF hier
- Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, PDF hier
Master Empfehlung
- Merlin Kötzing: Edward A. Lee, "Constructive Models of Discrete and Continuous Physical Phenomena", IEEE Acces, Vol. 2, pages 797-821, August 7, 2014, PDF hier
- Milad Rahimi-Barfeh: David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter, "Determinate Composition of FMUs for Co-Simulation", 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, September 29 - October 4, 2013, PDF hier
- Sarah Stelling: Arnd Hartmanns, Holger Hermanns, Michael Bungert, "Flexible Support for Time and Costs in Scenario-Aware Dataflow", EMSOFT 2016, PDF hier
- Jan Witzany: Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh, "Symbolic Execution for Memory Consumption Analysis", LCTES 2016, PDF hier
Termine
| Datum | Meilenstein |
|---|---|
| DiFr., 2413.1004. | Ende der Frist für die Themenauswahl (per Email) |
| DiFr., 2413.1004., 149:30 50 Uhr | Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115 |
| DiMi., 1402.1105., 8:00 Uhr | Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Verwandte Arbeiten, Bibliographie) |
| Mi, 15.11 & Fr, 17.11 | Individualtermine, CAP 4, R. 1113 |
| Di, 12.12anschließend | Individualtermine |
| Di., 22.05., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitung |
| Mi, 13.12 & Fr, 15.12 | Individualtermine, CAP 4, R. 1113 |
| Di, 09.01anschließend | Individualtermine |
| Di., 05.06., 8:00 Uhr | Abgabe der Review-Version der Ausarbeitung |
| anschließend | Zuordnung Ausarbeitungen/Reviewer (per Email) |
| Di., 1612.0106., 8:00 Uhr | Abgabe der Reviews |
| tbaTBA | evtl. Vortrag zur Gestaltung einer guten Präsentation |
| Di., 2326.0106., 8:00 Uhr | Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten) |
| Mi, 24.01 & Fr, 26.01 | Individualtermine, CAP 4, R. 1113 |
| Do, 01.02anschließend | Individualtermine |
| Fr., 06.07., 8:00 Uhr | Abgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien) |
| Mo, 05.02. (+ Di, 06.02.)Sa., 07.07 | Ganztägiges Blockseminar mit Vorträgen |
...
Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars verteilt auf zwei Tage stattfinden. Die Teilnahme an beiden Seminartagen am Blockseminar ist Pflicht.
Das erste Blockseminar findet am Montag, den 5. Februar 2018 im Ostseejugenddorf Falckenstein, Falkenhorst 6, 24159 Kiel-Friedrichsort statt, und zwar im Raum "Fördeblick". Bitte wetterfeste Kleidung und passendes Schuhwerk für einen Spaziergang in der Mittagspause mitbringen!
...
Temporal Properties for Neuronal Archetypes using Synchronous Models
...
| Zeit | Vortragender | Thema |
|---|---|---|
| 09:55 | Begrüßung | |
| 10:00 | Aleksandar Markovic | LoggerFS - Ein schnells, zuverlässiges und leichtes Dateisystem für Wireless Sensor Networks |
| 10:30 | Merlin Kötzing | Practical Modeling of Physical Systems |
| 11:15 | Kaffeepause | |
| 11:45 | Milad Rahimi-Barfeh | Determinate Composition of FMUs for Co-Simulation |
| 12:30 | Sarah Stelling | lexible Support for Time and Costs in Scenario-Aware Dataflow |
| 13:15 | Ende der Vorträge |
Ausarbeitung, Vortrag, Review
...
Die Namen für die Dateien, die im Git abzulegen sind, sollen wie folgt (gleichartig) aufgebaut sein. Bitte halten Sie sich von Anfang an an diese Namenskonventionen. Das vermeidet unnötige Sucherei, bewahrt uns vor späteren Schwierigkeiten mit automatischen Skripten und macht umständliches Umbenennen überflüssig.
- Ausarbeitung: <login>/sem17wssem18ss-<login>.[tex/pdf]
- Vortragsfolien: <login>/sem17wssem18ss-<login>-talk.[tex/pdf]
- Handoutfolien - ohne Animationen, für Ausdrucke und die Proceedings: <login>/sem17wssem18ss-<login>-handout.[tex/pdf]
- Review (generelle Anmerkungen): <login review-Empfänger>/sem17wssem18ss-<login review-Empfänger>-reviewnotes-<login Reviewer>.[pdf]
- Review (annotiertes PDF): <login review-Empfänger>/sem17wssem18ss-<login review-Empfänger>-review-<login Reviewer>.[pdf] (Beispiel also: Alexander (als) reviewt die Ausarbeitung von Steven (ssm) und checkt das Review-PDF mit dem Namen sem17wssem18ss-ssm-review-als.pdf im Ordner ssm des Seminarrepositorys ein.
...
- Reichlich Dokumentation zum Git Source Code Management System findet man unter http://www.git-scm.com/.
- Für den Zugriff auf das Repository müssen wir Sie in unserem Bitbucket dafür freischalten. Das sollten wir anhand der Teilnehmerliste prima tun können. Falls Sie keinen Zugriff auf das Repository bekommen, schreiben Sie uns eine E-Mail.
- Git-Repository auschecken: git clone ssh://git@git.rtsys.informatik.uni-kiel.de:7999/sem/17ws18ss-rt-synchemb.git
- Um die Erstellung der Proceedings zu erleichtern, richten Sie sich bitte nach den oben beschriebenen Namenskonventionen.
- ACM Style in deutscher oder englischer Version. Im Git Repository befinden sich im Unterverzeichnis template/ eine Reihe von Dateien, welche Sie als Vorlage verwenden sollen (siehe README.txt).
- Wir benutzen pdflatex (erstellt PDF Dateien) und nicht direkt latex (erstellt DVI Dateien)
- sind im Prinzip gleich zu benutzen
- Hauptunterschied ist die Einbindung von Grafiken. In pdflatex siehe z.B. http://latex.mschroeder.net/#grafiken (Es sollte immer eine komplette figure Umgebung mit caption, label und Referenz im Text benutzt werden!)
- Von der Kommandozeile aus kann ein pdf mit "rubber -d sem17ws-<login>" erstellt werden (rubber ruft automatisch pdflatex und bibtex auf).
Bibliographie: Die Bibliographielemente werden in eine eigene *.bib Datei ausgelagert. Manuell wird dann einmal pdflatex dokument.tex aufgerufen. Dies erzeugt eine dokument.aux Datei. Darauf wird bibtex dokument.aux aufgerufen und dann nochmal zweimal pdflatex dokument.tex. Erst dann sind die Bibliographieelemente richtig im pdf-file.
...