Keine Übersetzung ist vorhanden. 

OVERVIEW

Embedded and Cyber-Physical Systems have replaced traditionally human-operated systems. They have appeared in many applications, such as avionic control systems, automotive electronics, industrial automation, and robotics. Designing dependable embedded and cyber-physical systems efficiently and effectively has been an important subject with high impact on daily lifes and human society.

There will be several categoried options, offered by Prof. Chen. You can also select your own options of literatures, under the approval by Prof. Chen

Presentation schedule: (Feb. 03, 2015)

09:00 - 10:00 Bejamin Kramer  (Worst-Case Execution Analysis)
10:00 - 11:00 Dominic Wirkner  (Autonomous Driving)

11:15 - 12:15 Zhang Yuan         (Human in Loop)

13:30 - 14:30 Sebastian Struwe   (Battery Management)
14:30 - 15:30 Tim Harde          (Smart Grid)

15:45 - 16:45 Marcel Köppen  (Computation Offloading)

TIMELINE

29,10, 2014: Introductions of the seminar and topics (14:00, Raum E18 in OH 16)

                     slides of the seminar and introduction to CPS and Embedded Systems

03-07,11,2014: Choose a topic (please read the abstracts of the papers in this time frame)

07,11,2014: Reservation due via Sekretariat des Lehrstuhls (Frau Claudia Graute, Raum E22 in OH16)

20,01,2015 13,01,2015: Reports due (turn in to the Secretary before 12:00 (noon))

03,02,2015 27,01,2015: Slides draft due (send the slides to Prof. Chen before 12:00 (noon))

KW 11, 2015 03,02,2015: Presentation (Block seminar for the whole day, E18 in OH16)

TOPICS

For those categories with 3 papers,  the 3^rd paper with the mark (+) is selective for more comprehensive studies, 
but the 3^rd paper without the mark is part of the assignment. 

1. Real-Time Control
   1. Daniele Fontanelli, Luigi Palopoli, Luca Abeni: The Continuous Stream Model of Computation for Real-Time Control. in RTSS 2013: 150-159
   2. Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin: Control-quality driven design of cyber-physical systems with robustness guarantees. DATE 2013: 1093-1098
2. Battery Management (Sebastian Struwe)
   1. Eugene Kim, Kang G. Shin, Jinkyu Lee: Real-time battery thermal management for electric vehicles. ICCPS 2014: 72-83
   2. Eugene Kim, Jinkyu Lee, Kang G. Shin: Real-time prediction of battery power requirements for electric vehicles. ICCPS 2013: 11-20
3. Automotive Control  (Perez Donfack)
   1. Alejandro Masrur, Dip Goswami, Samarjit Chakraborty, Jian-Jia Chen, Anuradha Annaswamy, Ansuman Banerjee: Timing analysis of cyber-physical applications for hybrid communication protocols. DATE 2012: 1233-1238
   2. Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele: A hybrid approach to cyber-physical systems verification. DAC 2012: 688-696
   3. (+) Jonas Rox, Rolf Ernst, Paolo Giusto: Using timing analysis for the design of future switched based Ethernet automotive networks. DATE 2012: 57-62
4. Medical Applications
   1. Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam: From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. RTAS 2012: 173-184
   2. Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman: A low complexity coordination architecture for networked supervisory medical systems. ICCPS 2013: 89-98
5. Autonomous Driving  (Dominic Wirkner)
   1. Seyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige: STIP: Spatio-temporal intersection protocols for autonomous vehicles. ICCPS 2014: 1-12
   2. Kyoung-Dae Kim: Collision free autonomous ground traffic: a model predictive control approach. ICCPS 2013: 51-60
   3. (+) Junsung Kim, Hyoseung Kim, Karthik Lakshmanan, Ragunathan Rajkumar: Parallel scheduling for cyber-physical systems: analysis and case study on a self-driving car. ICCPS 2013: 31-40
6. Smart Grid  (Tim Harde)
   1. Hoang Hai Nguyen, Rui Tan, David K. Y. Yau: Safety-assured collaborative load management in smart grids. ICCPS 2014: 151-162
   2. Ting Zhu, Zhichuan Huang, Ankur Sharma, Jikui Su, David E. Irwin, Aditya Kumar Mishra, Daniel S. Menasché, Prashant J. Shenoy: Sharing renewable energy in smart microgrids. ICCPS 2013: 219-228
7. Wireless Control
   1. Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, Billie F. Spencer: Realistic case studies of wireless structural control. ICCPS 2013: 179-188
   2. Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam: Closing the loop: a simple distributed method for control over wireless networks. IPSN 2012: 25-36
8. Computation Offloading  (Marcel Köppen)
   1. Wei Liu, Jian-Jia Chen, Anas Toma, Tei-Wei Kuo, Qingxu Deng: Computation Offloading by Using Timing Unreliable Components in Real-Time Systems. DAC 2014: 1-6
   2. Y. Iida, M. Hirabayashi, T. Azumi, N. Nishio, and S. Kato. "Connected Smartphones and High-Performance Servers for Remote Object Detection", In Proceedings of the 2nd IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA'14), pp. 71-76, 2014.   (http://www.ertl.jp/~shinpei/papers/cpsna14-2.pdf)
   3. Karthik Kumar, Yung-Hsiang Lu: Cloud Computing for Mobile Users: Can Offloading Computation Save Energy?. IEEE Computer 43(4): 51-56 (2010)
9. Mode Change (fundamental real-time scheduling knowledge is assumed)
   1. Robert I. Davis, Timo Feld, Victor Pollex, and Frank Slomka, “Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling”. In Proceedings Real-Time and embedded technology and Applications Symposium (RTAS) 2014.
   2. Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi: The Digraph Real-Time Task Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 71-80
10. Sensors in Embedded Systems
    1. David Hasenfratz, Olga Saukh, Lothar Thiele: Model-Driven Accuracy Bounds for Noisy Sensor Readings. DCOSS 2013: 165-174
    2. Hossein Mamaghanian, Nadia Khaled, David Atienza, Pierre Vandergheynst: Compressed Sensing for Real-Time Energy-Efficient ECG Compression on Wireless Body Sensor Nodes. IEEE Trans. Biomed. Engineering 58(9): 2456-2466 (2011)
11. Worst-Case Execution Analysis (Benjamin Kramer)
    1. Jan C. Kleinsorge, Heiko Falk, Peter Marwedel: Simple analysis of partial worst-case execution paths on general control flow graphs. 1-10
    2. Jan Reineke: Randomized Caches Considered Harmful in Hard Real-Time Systems. LITES 1(1): 03:1-03:13 (2014)
    3. (+) Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi: Building timing predictable embedded systems. ACM Trans. Embedded Comput. Syst. 13(4): 82 (2014)
12. Human in Loop   (Zhang Yuan)
    1. Gunar Schirner, Deniz Erdogmus, Kaushik Chowdhury, Taskin Padir: The Future of Human-in-the-Loop Cyber-Physical Systems. IEEE Computer 46(1): 36-45 (2013)
    2. Dong Wang, Md. Tanvir Al Amin, Shen Li, Tarek F. Abdelzaher, Lance M. Kaplan, Siyu Gu, Chenji Pan, Hengchang Liu, Charu C. Aggarwal, Raghu K. Ganti, Xinlei Wang, Prasant Mohapatra, Boleslaw K. Szymanski, Hieu Khac Le: Using humans as sensors: an estimation-theoretic perspective. IPSN 2014: 35-46
    3. (+)  Dong Wang, Tarek F. Abdelzaher, Lance M. Kaplan, Raghu K. Ganti, Shaohan Hu, Hengchang Liu: Exploitation of Physical Constraints for Reliable Social Sensing. RTSS 2013: 212-223

Materials: (Recommended, but not compulsory to use them)

a. Templates for the report: MS Office template, LaTEX template

b. Templates for the slides: MS Office template (download from service portal), LaTEX template

c. An example slide: RTCSA 2013 by Mr. Pagani