Page tree
Skip to end of metadata
Go to start of metadata


Der 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) 
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 des Semesters 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

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

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

Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014

Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014

A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015

Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015

Master Empfehlung

TBA

Termine

DatumMeilenstein
Mi, 23.10., 11:50 UhrVorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115
Mi, 23.10., 23:59 UhrEnde der Frist für die Themenauswahl (per Email an Alexander)
Di., 12.11., 8:00 UhrAbgabe Ausarbeitungsgerüst in EasyChair. Dies umfasst einen ersten Abstract und eine Einleitung, sowie eine Gliederung mit Stichworten zum Inhalt der Kapitel. Weiterhin auch eine Bibliographie Liste zur Übersicht über verwandte Arbeiten.
TBAIndividualtermine, CAP 4, R. 1110
Di., 10.12., 8:00 UhrAbgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair)
TBAIndividualtermine, CAP 4, R. 1110
Di., 07.01., 08:00 UhrAbgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair) und Beitritt zum Program Committee (Einladung zuvor per Mail)
anschließendZuordnung Ausarbeitungen/Reviewer (per Email)
Di., 14.01., 08:00 UhrAbgabe der Reviews (in EasyChair)
TBAVortrag zur Gestaltung einer guten Präsentation, CAP 4, R. 1011
TBA (28.01.)Individualtermine zur Besprechung der Vortragsfolien, CAP 4, R. 1110. Die Folien müssen zum Besprechungstermin entweder auf dem eigenen Rechner mitgebracht oder vorher als PDF per Mail geschickt werden.
Fr., 14.02., 08:00 UhrAbgabe der Endversionen der Ausarbeitungen (Submission-Update in EasyChair)
Mo., 17.02Ganztägiges Blockseminar mit Vorträgen.

Agenda des Blockseminars

Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Seminartag ist Pflicht.

TBA

Ausarbeitung, Vortrag, Review

Das Seminar umfasst die Erstellung einer Ausarbeitung, eines Vortrags, und zweier Reviews.

Ausarbeitung

Die Ausarbeitung soll eine Übersicht über das behandelte Themengebiet darstellen. Sie sollte so verfasst sein, dass sie von einer fortgeschrittenen Bachelor-Informatik-Person gut verstanden werden kann. Die Ausarbeitung soll 6 (Master) bzw. 4 (Bachelor) Seiten umfassen, nicht mehr und nicht weniger, und den ACM LaTeX-Style verwenden (dazu mehr Details weiter unten). Generell empfehlenswert ist ein Blick in die Hinweise für die Anfertigung einer Abschlussarbeit.

Vortrag

Der Vortrag soll 40 Minuten (Master) bzw. 25 Minuten (Bachelor) lang sein, woran sich 5 Minuten Zeit für Fragen anschließen. Zu dem Vortrag sollen Folien erstellt werden. Die Vortragsfolien sollten Seitennummern enthalten. Sollte das Thema auch eine konkrete Implementierung behandeln, ist eine entsprechende kurze Tool-Demo im Rahmen des Vortrages großartig. Die Arbeitsgruppe bietet jeder vortragenden Person an, eine Videoaufnahme des Vortrags zu erstellen und zur Verfügung zu stellen.

Die Wahl eines geeigneten Präsentationstools ist frei. Bei der Besprechung der Vortragsfolien und dem Vortag beim Blocksemiar sollte daher der eigene Rechner genutzt werden. Wenn die Präsentation vorher als PDF per Mail an einen Betreuer geschickt wird, dann kann ein vorhandener Rechner genutzt werden.
Falls Online-Tools genutzt werden, sei darauf hingewiesen, dass beim Blockseminar in Falckenstein kein WLAN Zugang zur Verfügung steht. Der Vortrag muss daher auch offline gehalten werden können.

Review

Ein Review einer Ausarbeitung besteht aus folgenden zwei Komponenten:

  1. Generelle Anmerkungen (was gefällt Ihnen / gefällt Ihnen nicht zu Inhalt, Gliederung und Lesbarkeit) sowie generelle Verbesserungsvorschläge
  2. Detailliertere Korrekturen

Vom Umfang sollte das Review (1. Teil) mindestens einer halben A4 Seite entsprechen. In dem Review-Fomular von EasyCair können keine Dateien angehängt werden, es kann also kein annotiertes pdf als Detail-Korrektur angehängt werden.
Die Zuordnung von Papern zu Reviewenden geschieht kurzfristig nach dem Abgabetermin für die Review-Versionen der Ausarbeitungen, basierend auf den dann abgegebenen Ausarbeitungen.

Jede teilnehmende Person erhält die Proceedings des laufenden Seminars.

Benotung

Das Seminar ist benotet. Die Endnote basiert auf den einzelnen Meilensteinen (Versionen der Ausarbeitung, Reviews, Folien, Vortrag). Es werden jeweils die Qualität sowie die Rechtzeitigkeit (siehe Terminplanung) bewertet. Das Nicht-Einhalten von Terminen kann zum Nicht-Bestehen des Seminars führen.


Technische Details

LaTeX

Ihre Ausarbeitungen sind mit Hilfe von LaTeX zu verfassen und müssen den Stil der ACM benutzen. In dieser ZIP-Datei finden Sie alle benötigten Dateien dafür, inklusive eines Beispiel-Dokuments, welches hilfreiche LaTeX-Tips für den Anfang enthält. Kopieren Sie die Dateien in ein beliebiges Verzeichnis und fangen Sie an, Ihre Ausarbeitung zu schreiben.

Für die Bibliographie (enthält wissenschaftliche Publikationen, die referenziert werden, um Quellen zu belegen) bietet LaTeX ebenfalls Lösungen. Im Beispiel finden Sie eine Datei namens myrefs.bib, in welche Referenzen ausgelagert wurden. Die ACM bietet eine kurze Übersicht mit Beispielen zum Schreiben von Bibliographie-Einträgen.

Beachten Sie beim Verfassen Ihrer Ausarbeitung insbesondere folgende Punkte:

  • Überlegen Sie, ob Sie die Ausarbeitung auf Deutsch oder auf Englisch verfassen wollen und verwenden Sie die entsprechende Version des ACM-Stils.
  • Grafiken aus Ihrem Paper sollten Sie nicht einfach per Screenshot in Ihre Ausarbeitung befördern. Idealerweise bauen Sie Grafiken neu (idealerweise als Vektorgrafik), damit sie eine ordentliche Qualität haben statt als Pixelhaufen zu enden.
  • Eine ordentliche Ausarbeitung enthält eine Zusammenfassung, eine Einleitung, mindestens ein Hauptkapitel, und eine Zusammenfassung.

EasyChair Tutorial

Unser Seminar findet ihr im EasyChair-System (Link wird mit Seminarbeginn zur Verfügung stehen).

 Klicke hier zum ausklappen...


We use the EasyChair system to manage our seminar. EasyChair is a popular system to manage conferences. Should you end up as a PhD student, it is likely that you won't get around using it at some point in your career.

This section describes how to use EasyChair over the course of the seminar.

Registration

If you do not have an EasyChair account (which is most likely), you need to sign up for an account first.

Go to the registration page. First solve the very challenging Captcha and then fill in your personal data.

Use your university mail address!

You will receive an activation mail with a link. When you navigate to the given site, you nee to provide further information. Choose a username and password and create the account.

Creating a new Submission

To create your submission, visit the EasyChair site of the seminar (link provided above). First you need to log in, then you will be asked for the role you want to enter as. Choose the only option: Author. During the seminar you will get an additional role, see PC section. Next, click on the New Submission button in the header bar.

Complete the form with the information about you and your paper. Note that, all fields are not final and can be changed later on.

Use the New Submission option only once for your first submission!

All following uploads of your paper and milestone submissions must be updates of your existing submission (see next section).

Updating your Submission

After you created a new submission, you can access your submission via the new button Submission <your number> in the header bar. The page then displays the current state and information about your submission.

You can update these information using the options in the top right box of this site.

Program Committee (PC)

During the seminar (usually after the second deadline) you will receive an invitation into the Program Committee (PC) of the seminar. This the a prerequisite for the reviewing process. Hence, it is important that you accept the invitation as soon as you receive it.

The invitation mail features a response link. Click on that link, make sure that "I accept the initiation" is selected and click on Answer Invitation. You do not need to provide a response message (Email body) or specify the Email subject.

Different roles in EasyChair

As soon as you are part of the PC, you have different roles in which you can access/enter the seminar page on EasyChair. The roles have different purposes and permissions.

RolePurpose
AuthorCreate and update your submission
PC memberCreate and update reviews

This means you cannot edit your submission when you are in the PC role and you cannot create reviews in the Author role.

Changing your role

When you access the EasyChair page of the seminar you are usually ask in which role you want to enter.

Your current role is always displayed in parentheses after the seminar title at the top of the page.

You can change your role by accessing the conference menu (e.g. Kiel-rtsys-sem-18ws) in the top bar an selecting Change role.

Writing Reviews

After the deadline for the review versions, you will be assigned as reviewer for two other submissions. You will be notified by mail when the assignment is done. The mail will not contain a direct link. Hence, visit the EasyChair page of the seminar, but this time enter in your PC member role.

Click on Assigned to me in the Review menu and download the paper you are assigned to review (submission column with file/pdf symbol). When you have read the paper and you are ready to write the review click on the + button to create your review.

Complete the review form and submit it. Note that the form may have additional fields you need to fill out.

If you want to update your review, navigate to the Assigned to me page but do not create a new review. Click on the link with your name in the new (Update review) PC member column to edit your review.

Viewing Reviews of your own Submission

When all reviews are finished, you will receive an Email with the reviews for your paper.

Alternatively, you can log in with your Author role and access the reviews on your submission page (Submission <your number>).


Generell ist es empfehlenswert, aus dem Uni-Netz heraus nach verwandten Publikationen zu suchen, da man hier Zugriff auf einige Online-Blbliotheken bekommt. Zur Suche empfehlen sich folgende Suchmaschinen und Seiten:


555
610
410
547
983
150
329
  • No labels