Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  1. 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
  2. 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
  3. Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, PDF hier
  4. Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, PDF hier
  5. Aleksandar Markovic: Biswajit Mazumder, JAson Jason O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, PDF hier
  6. A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, PDF hier
  7. Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, PDF hier

Master Empfehlung

  1. 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
  2. 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
  3. Sarah Stelling: Arnd Hartmanns, Holger Hermanns, Michael Bungert, "Flexible Support for Time and Costs in Scenario-Aware Dataflow", EMSOFT 2016, PDF hier
  4. Jan Witzany: Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh, "Symbolic Execution for Memory Consumption Analysis", LCTES 2016, PDF hier

...

DatumMeilenstein
Fr., 13.04.Ende der Frist für die Themenauswahl (per Email)
Fr., 13.04., 9:50 UhrVorbesprechung/Kick-Off, Latex/Git Kurzeinführung, CAP 4, R. 1115
Mi., 02.05., 8:00 UhrAbgabe Ausarbeitungsgerüst (Abstract, Einleitung, Gliederung, Stichworte zum Inhalt der Kapitel, Verwandte Arbeiten, Bibliographie)
anschließendIndividualtermine
Di., 22.05., 8:00 UhrAbgabe der Erstversion der vollständigen Ausarbeitung
anschließendIndividualtermine
Di., 05.06., 8:00 UhrAbgabe der Review-Version der Ausarbeitung
anschließendZuordnung Ausarbeitungen/Reviewer (per Email)
Di., 12.06., 8:00 UhrAbgabe der Reviews
TBAevtl. Vortrag zur Gestaltung einer guten Präsentation
Di., 26.06., 8:00 UhrAbgabe der Vortragsfolien und Handoutfolien (siehe Hinweise unten)
anschließendIndividualtermine
Fr., 06.07., 8:00 UhrAbgabe der Endversionen der Vortragsfolien, Handouts und Ausarbeitungen, Anschließend Druck der Proceedings (inkl. Ausarbeitungen und Handoutfolien)
Sa., 07.07Ganztägiges Blockseminar mit Vorträgen

...

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

ZeitVortragenderThema
09:55
Begrüßung
10:00Aleksandar MarkovicLoggerFS - Ein schnells, zuverlässiges und leichtes Dateisystem für Wireless Sensor Networks
10:30Merlin KötzingPractical Modeling of Physical Systems
11:15
Kaffeepause
11:45Milad Rahimi-BarfehDeterminate Composition of FMUs for Co-Simulation
12:30Sarah Stellinglexible Support for Time and Costs in Scenario-Aware Dataflow
13:15
Ende der Vorträge


Ausarbeitung, Vortrag, Review

...