Sprungmarken

Servicenavigation

Hauptnavigation


You are here:

Home Teaching Courses WS 2016/2017 Seminar CPS & ES (Englisch)

Bereichsnavigation

Hauptinhalt

Homepage of the Seminar Cyber Physical Systems and Embedded Systems in WS 2016/2017


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. 

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


TIMELINE

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


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

 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


TOPICS

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

  • Mohammad Abdullah Al Faruque, Francesco Regazzoni, Miroslav Pajic: Design methodologies for securing cyber-physical systems. CODES+ISSS 2015: 30-36


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