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.
All talks and meetings will be in English.
REGISTRATION
No registration previous to the first date (27.10.2016) is needed. Registration to the seminar is done by choosing one of the topics presented at that date.
Presentation schedule: (Feb. 22, 2017)
9:00 - 10:00 | Milad Nayebi: Cyber Attacks |
10:00 - 10:15 | Coffee Break |
10:15 - 11:15 | Philip Goldap: Engine control |
11:15 - 12:15 | Christian Pfeiffer: Electric Vehicles |
*** 27.10.2016: Introductions of the seminar and topics (12:15, Raum E18 in OH 16)
*** 02-04,11,2016: Choose a topic (“select 3 topics” with preferences!!)
*** 04,11, 2016: Reservation due via Sekretariat des Lehrstuhls (Frau Claudia Graute, Raum E22 in OH16) / Email here
*** 07-11,11, 2016: A mail will be sent to you and the assignment will be announced in the seminar website.
*** 23,01, 2017: Reports due (turn in to the Secretary before 12:00 (noon))
*** 06,02, 2017: Slides draft due (send the slides to Prof. Chen before 12:00 (noon))
*** 22,02,2017: Presentation (Block seminar for the whole day, E18 in OH16
a. Templates for the report: MS Office template, LaTEX template, OpenOffice template
b. Templates for the slides: MS Office template (download from service portal), LaTEX template, OpenOffice template
c. An example slide: RTCSA 2013 by Mr. Pagani
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
Automotive Control - Alexander Hornung
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
Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele: A hybrid approach to cyber-physical systems verification. DAC 2012: 688-696
(+) Jonas Rox, Rolf Ernst, Paolo Giusto: Using timing analysis for the design of future switched based Ethernet automotive networks. DATE 2012: 57-62
Human in Loop
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)
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
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
Sensors in Embedded Systems
David Hasenfratz, Olga Saukh, Lothar Thiele: Model-Driven Accuracy Bounds for Noisy Sensor Readings. DCOSS 2013: 165-174
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)
Fault Tolerance
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee: Sensor attack detection in the presence of transient faults. ICCPS 2015: 1-10
Björn Döbel, Hermann Härtig: Can we put concurrency back into redundant multithreading? EMSOFT 2014: 19:1-19:10
(+)Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk: Multi-layer software reliability for unreliable hardware. it - Information Technology 57(3): 170-180 (2015)
Mode Change I (fundamental real-time scheduling knowledge is assumed)
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.
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
Mode Change II (fundamental real-time scheduling knowledge is assumed)
Huang Wen-Hung and Jian-Jia Chen.Techniques for Schedulability Analysis in Mode Change Systems under Fixed-Priority Scheduling.In IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015
Shengyan Hong, Xiaobo Sharon Hu, Tao Gong, Song Han:On-Line Data Link Layer Scheduling in Wireless Networked Control Systems. ECRTS 2015: 57-66
Electric Vehicles- Christian Pfeiffer
Fanxin Kong, Xue Liu: Distributed Deadline and Renewable Aware Electric Vehicle Demand Response in the Smart Grid. RTSS 2015: 23-32
Wanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani, Samarjit Chakraborty: Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles. CPSNA 2015: 37-42
Medical Applications I
Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha: From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS 2016: 231-241
Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.: Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS 2016: 1-10
Medical Applications II
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
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
Anytime Algorithms- LiLi Xu
Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam: Co-design of Anytime Computation and Robust Control. RTSS 2015: 43-52
Rahul Mangharam, Aminreza Abrahimi Saba: Anytime Algorithms for GPU Architectures. RTSS 2011: 47-56
Cyber Attacks- Milad Nayebi
Mohammad Abdullah Al Faruque, Sujit Rokka Chhetri, Arquimedes Canedo, Jiang Wan: Acoustic Side-Channel Attacks on Additive Manufacturing Systems. ICCPS 2016: 1-10
Engine Control- Philip Goldap
Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo: Performance-Driven Design of Engine Control Tasks. ICCPS 2016: 1-10
Vincenzo Apuzzo, Alessandro Biondi, Giorgio C. Buttazzo: OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling. RTAS 2016: 13-23
Alessandro Biondi, Giorgio C. Buttazzo: Real-time analysis of engine control applications with speed estimation. DATE 2016: 193-198
Mixed Criticality- Amin Nirazi
Rolf Ernst, Marco Di Natale: Mixed Criticality Systems - A History of Misconceptions? IEEE Design & Test 33(5): 65-74 (2016)
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar: How realistic is the mixed-criticality real-time system model? RTNS 2015: 139-148