...
- 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
Master Empfehlung
...
- 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 |
---|---|
Fr., 13.04. | Ende der Frist für die Themenauswahl (per Email) |
Fr., 13.04., 9:50 Uhr | Vorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115 |
DiMi., 0102.05., 8:00 Uhr | Abgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Verwandte Arbeiten, Bibliographie) |
anschließend | Individualtermine |
Di., 22.05., 8:00 Uhr | Abgabe der Erstversion der vollständigen Ausarbeitung |
anschließend | Individualtermine |
Di., 05.06., 8:00 Uhr | Abgabe der Review-Version der Ausarbeitung |
anschließend | Zuordnung Ausarbeitungen/Reviewer (per Email) |
Di., 12.06., 8:00 Uhr | Abgabe der Reviews |
TBA | evtl. Vortrag zur Gestaltung einer guten Präsentation |
Di., 26.0706., 8:00 Uhr | Abgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten) |
anschließ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) |
Sa., 07.07 | Ganztägiges Blockseminar mit Vorträgen |
...
Die Vorstellung des jeweils bearbeiteten Themas wird im Rahmen eines Blockseminars stattfinden. Die Teilnahme am Blockseminar ist Pflicht.TBA
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
...