Homepage zum Seminar Eingebettete Systeme im SS 2013

Überblick

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.

Themen

- Quellen zu Themen 1-10 siehe unten, weitere Themen werden im Laufe des Tages noch ergänzt -

 A. Conference on Cyber-Physical Systems, 2013

1. 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

2. 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

3. 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

4. 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

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

C. DATE und DSN2013

• 11. Unreliable computation (Patrick Baron)
  a. Extracting Useful Computation from Error-Prone Processors for Streaming Applications. Yavuz Yetim, Margaret Martonosi and Sharad Malik, DATE 2013, p. 212
  b. Error Detector Placement for Soft Computation. Anna Thomas and Karthik Pattabiraman, To appear in the Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013.
• 12. Fault tolerant multicores (Thorsten Panke)
  a. Efficient Software-Based Fault Tolerance Approach on Multicore Platforms,Hamid Mushtaq, Zaid Al-Ars and Koen Bertels, DATE 2013, p. 921
  b. A Work-Stealing Scheduling Framework Supporting Fault Tolerance, Yizhuo Wang, Weixing Ji, Feng Shi and Qi Zuo, DATE 2013, p. 695
• 13. Fault tolerant Networks on Chip (Kevin Kowalinski)
  a. Topology-Agnostic Fault-Tolerant NoC Routing Method, Eduardo Wachter, Augusto Erichsen, Alexandre Amory and Fernando Moraes, DATE 2013, p. 1595
  b. Fault-Tolerant Routing Algorithm for 3D NoC Using Hamiltonian Path Strategy, Masoumeh Ebrahimi, Masoud Daneshtalab and Juha Plosila, DATE 2013, p. 1601

D. Weitere Themen

• 14. Smart Buildings (Alexander Lochmann)
• 15. Novel Cache Archtectures (Suzana Mitrovska)
  a. DRAM Cache Hierarchy for Multi-CoresAdaptive Cache Management for a combined SRAM, Fazal Hameed, Lars Bauer, and Jörg Henkel, DATE 2013
  b. AVICA: An Access-time Variation Insensitive L1 Cache Architecture, Seokin Hong and Soontae Kim, DATE 2013
• 16. In-Memory Computation (Viktor Marinov)
  a. Dynamic Transfer of Computation to Processor Cache for Yield and Reliability Improvement, Somnath Paul and Swarup Bhunia, TVLSI 2010
  b. Reliability Improvement in Multicore Architectures Through Computing in Embedded Memory, Hadi Hajimiri, Somnath Paul, Anandaroop Ghosh, Swarup Bhunia, and Prabhat Mishra, MWSCAS 2011
• 17. E-Mobility and Automotive (Clemens Wältken)
  a. Embedded Systems and Software Challenges in Electric Vehicles, Samarjit Chakraborty et al. DATE 2012
  b. On Demand Dependent Deactivation of Automotive MCUs, Christoph Schmutzler, Martin Simons and Jürgen Becker, DATE 2012

Termine:

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)

Material

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

Vorlagen

LaTeX Beamer-Template TU Dortmund

PowerPoint-Vorlage LS12

LaTeX-Vorlage für Ausarbeitung

Hinweis

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.