...
Viele der Links werden nur aus dem Netz der Uni Kiel heraus funktionieren. Bei Problemen einfach Bescheid sagen.
Bachelor Empfehlung
[vergeben] Yixiao Lin, Sayan Mitro, StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems, LCTES 2015
...
Björn Döbel, Hermann Härtig, Can We Put Concurrency Back Into Redundant Multithreading?, EMSOFT 2014
[vergeben] J. Talpin, J. Marty, S. Narayan, D. Stefan and R. Gupta, Towards verified programming of embedded devices, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), Florence, Italy, 2019, pp. 1445-1450.
...
Thomas Nyman, Ghada Dessouky, Shaza Zeitouni, Aaro Lehikoinen, Andrew Paverd, N. Asokan, and Ahmad-Reza Sadeghi. 2019. HardScope: Hardening Embedded Systems Against Data-Oriented Attacks. In Proceedings of the 56th Annual Design Automation Conference 2019 (DAC '19). ACM, New York, NY, USA, Article 63, 6 pages.
[vergeben] Daniel Casini, Alessandro Biondi, and Giorgio Buttazzo. 2019. Analyzing Parallel Real-Time Tasks Implemented with Thread Pools. In Proceedings of the 56th Annual Design Automation Conference 2019 (DAC '19). ACM, New York, NY, USA, Article 92, 6 pages.
[vergeben] James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, and Steve Hodges. 2018. MakeCode and CODAL: intuitive and efficient embedded systems programming for education. In Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2018). ACM, New York, NY, USA, 19-30.
[vergeben] H. Abbas, I. Saha, Y. Shoukry, R. Ehlers, G. Fainekos, R. Gupta, R. Majumdar, D. Ulus, Special Session: Embedded Software for Robotics: Challenges and Future Directions, 2018 International Conference on Embedded Software (EMSOFT), Turin, 2018, pp. 1-10.
Wenchen Wang, Daniel Mosse, Daniel Cole, and Jason G. Pickel. 2018. Dynamic Wireless Network Reconfiguration for Control System applied to a Nuclear Reactor Case Study. In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18). ACM, New York, NY, USA, 30-40.
[vergeben] 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
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
[vergeben] Ahmed Alhammad, Rodolfo Pellizzoni, Schedulability Analysis of Global Memory-predictable Scheduling, EMSOFT 2014
...
Bader Alahmad and Sathish Gopalakrishnan. 2018. On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems. In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS '18). ACM, New York, NY, USA, 19-29.
[vergeben] Wanli Chang, Shuai Zhao, Ran Wei, Andy Wellings, and Alan Burns. 2019. From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper). In Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2019). ACM, New York, NY, USA, 123-134.
Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. Comparing trace recordings of automotive real-time software. In Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS '17). ACM, New York, NY, USA, 118-127.
[vergeben] Eike Schweissguth, Peter Danielis, Dirk Timmermann, Helge Parzyjegla, and Gero Mühl. 2017. ILP-based joint routing and scheduling for time-triggered networks. In Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS '17). ACM, New York, NY, USA
...
| Datum | Meilenstein | |
|---|---|---|
| Mi, 23.10., 11:50 Uhr | Vorbesprechung/Kick-Off, Latex/EasyChair Kurzeinführung, CAP 4, R. 1115 | |
| Mi, 23.10., 23:59 Uhr | Ende der Frist für die Themenauswahl (per Email an Alexander) | |
| Di., 12.11., 8:00 Uhr | Abgabe 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. | |
| TBAMi., 13.11, Do., 14.11, Fr., 15.11 | Individualtermine, CAP 4, R. 1110 | |
| Di., 10.12., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitung (Submission-Update in EasyChair) | |
| TBA | Individualtermine, CAP Mi., 11.12, Do., 12.12, Fr., 13.12 | Individualtermine, CAP 4, R. 1110 |
| Di., 07.01., 08:00 Uhr | Abgabe der Review-Version der Ausarbeitung (Submission-Update in EasyChair) und Beitritt zum Program Committee (Einladung zuvor per Mail) | |
| anschließend | Zuordnung Ausarbeitungen/Reviewer (per Email) | |
| Mi., 08.01., 10:00 Uhr | Vortrag zur Gestaltung einer guten Präsentation. Ort: CAP 4, R. 910 | |
| Di., 14.01., 08:00 Uhr | Abgabe der Reviews (in EasyChair) | |
| TBA | Vortrag zur Gestaltung einer guten Präsentation, CAP 4, R. 1011 | |
| TBA (28.01.)Mi., 29.01, Do., 30.01, Fr., 31.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 Uhr | Abgabe der Endversionen der Ausarbeitungen (Submission-Update in EasyChair) | |
| Mo., 17.02 | Ganztägiges Blockseminar mit Vorträgen. (CAP4 Dachterrasse, Aufgang bei Raum 1401) |
Agenda des Blockseminars
Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Seminartag ist Pflicht.
Jede teilnehmende Person erhält die Proceedings des laufenden Seminars.
TBAView file name agenda_anon.pdf height 250
Ausarbeitung, Vortrag, Review
...
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, einschließlich Bibliographie, nicht mehr und nicht weniger, und den . Zudem muss der ACM LaTeX-Style verwenden verwendet werden (dazu mehr Details weiter unten). Generell empfehlenswert ist ein Blick in die Hinweise für die Anfertigung einer Abschlussarbeit.
...
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 daher auch offline gehalten werden können.
Der Vortrag kann sowohl in Deutsch als auch Englisch gehalten werden können.
Review
Ein Review einer Ausarbeitung besteht aus folgenden zwei Komponenten:
...
Vom Umfang sollte das Review (1. Teil) mindestens einer halben A4 Seite entsprechen. Es soll ein ausformulierter Text sein und nicht nur aus Stichpunkten bestehen. Inhaltlich ähnelt es dem, was auch in den Individualterminen besporchen wird, nur etwas ausfühlicher und mit klarem Fokus auf Aufbau, Inhalt und Verständlichkeit des Papers.
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.
...
Unser Seminar findet ihr im EasyChair-System (Link wird mit Seminarbeginn zur Verfügung stehen): Link.
| Expand | ||||||
|---|---|---|---|---|---|---|
| ||||||
|
...