Im aktuellen Sommersemester wird im Rahmen des Seminars Eingebettete Systeme das Thema "Cyber-Physical Systems" behandelt.
Für das gewählte Thema muss anhand eines Studiums von Quellen eine Seminarausarbeitung und Votragsfolien erstellt werden.
- Quellen zu Themen 1-10 siehe unten, weitere Themen werden im Laufe des Tages noch ergänzt -
A. Conference on Cyber-Physical Systems, 2013
Transportation CPS (Andreas Schmidt)
a. On Authentication in a Connected Vehicle: Secure Integration of Mobile Devices with Vehicular Networks; Kyusuk Han, Swapna Divya Potluri, Kang Shin; p. 160
b. Reliable Intersection Protocols Using Vehicular Networks; ReReza Azimi, Gaurav Bhatia, Ragunathan Rajkumar and Priyantha Mudalige; p. 1
Medical Devices (Yan Rudall)
a. Low Power Programmable Architecture for Periodic Activity Monitoring; Mohammad-Mahdi Bidmeshki, Roozbeh Jafari; p. 81
b. A Low Complexity Coordination Architecture for Networked Supervisory Medical Systems; Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard Berlin, Julian Goldman; p. 89
Security and Safety (Timo Bleuel)
a. FSTPA-I: A Formal Approach to Hazard Identification via System Theoretic Process Analysis; Philip Asare, John Lach, John Stankovic; p. 150
b. Cyber-Physical System Design Contracts; Patricia Derler, Edward Lee, Martin Torngren, Stavros Tripakis; p. 109
Smart Energy (Dominik Schmitt)
a. Real-Time Prediction of Battery Power Requirements for Electric Vehicles; Eugene Kim, Jinkyu Lee, Kang Shin; p. 11
b. Sharing Renewable Energy in Smart Microgrids; Ting Zhu, Zhichuan Huang, Ankur Sharma, Jikui Su, David Irwin, Aditya Kr Mishra, Daniel Menasche, Prashant Shenoy; p. 219
B: Real-Time and Embedded Technology and Applications Symposium, 2013
Cache Management I (2 der nachfolgenden 3 Paper vorzutragen) (Alexander Wernicke)
a. Real-Time Cache Management Framework for Multi-core Architectures; Renato Mancuso, Roman Dudko, Emiliano Betti, Marco Cesati, Marco Caccamo and Rodolfo; Pellizzoni; p. 129
b. MemGuard: Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Platforms; Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo and Lui Sha; p. 179
c. Measurement-based Modeling of the Cache Replacement Policy; Andreas Abel and Jan Reineke; p. 139
WCET (Henning Brümmer)
a. Sequoll: a Framework for Model Checking Binaries; Bernard Blackham and Gernot Heiser; p. 68
b. A Rapid Cache-aware Procedure Positioning Optimization to Favor Incremental Development; Enrico Mezzetti and Tullio Vardanega; p. 280
Resource access and locking protocols (2 der nachfolgenden 3 Paper vorzutragen) (Egor Kudrjaschow)
a. Resource Sharing Using the Rollback Mechanism in Hierarchically Scheduled Real-Time Open Systems; Mikael Äsberg, Thomas Nolte and Moris Behnam; p.219
b. Improved Analysis and Evaluation of Real-Time Semaphore Protocols for PFP Scheduling; Björn Brandenburg; p. 36
c. On Confidentiality-Preserving Real-Time Locking Protocols; Marcus Völp, Benjamin Engel, Claude-Joachim Hamann and Hermann Härtig; p. 241
Task mapping to many cores I (Sebastian Struwe)
a. Mapping a Multi-Rate Synchronous Language to a Many-Core Processor; Wolfgang Puffitsch, Eric Noulard and Claire Pagetti; p. 231
b. Bringing Theory Into Practice: A Userspace Library for Multicore Real-Time Scheduling; Malcolm Mollison and James Anderson; p. 89
Task mapping to many cores II (Hendrik Sandvoß)
a. A Real-Time Scheduling Service for Parallel Tasks; David Ferry, Jing Li, Mahesh Mahadevan, Chris Gill, Chenyang Lu and Kunal Agrawal; p. 4
b. Energy Aware Partitioning of Tasks onto a Heterogeneous Multi-core Platform; Muhammad Ali Awan and Stefan M. Petters; p. 48
Power management (2 der nachfolgenden 3 Paper vorzutragen) (Stefan Papon)
a. Throughput-Constrained DVFS for Scenario-Aware Dataflow Graphs; Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen and Henk Corporaal; p. 199
b. Predicting Thermal Behavior for Temperature Management in Time-Critical Multicore Systems; Buyoung Yun, Kang G. Shin and Shige Wang; p. 270
c. Energy-Driven Proportional Fair Scheduling for Industrial Measurement Devices; Felix Bruns, Steffen Brüggemann, Dirk Kuschnerus and Attila Bilgic; p. 119
Ankündigung der einzelnen Themen an dieser Stelle im Netz: am 27.4.2013
Reservierung der einzelnen Themen durch Studierende: am 29.4.2013 ab 9:00 im Sekretariat des Lehrstuhls
Vorbesprechung: am 2.5.2013 ab 14:15 im Raum OH 16, E18
Abschlusspräsentation: 22.-24.7.2013 (ganztägig)
Papers zu Themen 1-10 (passwordgeschützte ZIP-Datei; Password ist der Name des Praktikums im Keller der OH16)
Papers zu Themen 11-13 (dito)
Papers zu Themen 14-17 (ebenso)
Folien Vorbesprechung 2.5.2013
LaTeX Beamer-Template TU Dortmund
LaTeX-Vorlage für Ausarbeitung
Bitte beachten Sie, dass für dieses Seminar die gleichen Prüfungsbedingungen gelten wie für alle anderen Prüfungen! Nähere Informationen erhalten Sie hier. Absagen innerhalb von 14 Tagen vor der Abschlusspräsentation ohne Attest bedeutet die schlechteste Note.