Block Seminar on Cyber-Physical Systems and Embedded Systems in SS 2020

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 (03.08.2020) is needed. Registration to the seminar is done by choosing one of the topics presented at that date via here: https://forms.gle/Nj1j6tpKbaMLHwUi8  (Note!! Please do not send the information to Frau Graute as she is on vacation. )

Deadline is Thursday (06.08.20), 23:59

 

TIMELINE

*** 03.08.2020: Introductions of the seminar and topics (Slides can be found here)

*** 06.08.2020: Due day of selection of the seminar and topics

*** 07.08.2020: Announcement of the seminar topics

*** 07.09.2020: Report due

*** 14.09.2020: Slides due

*** 30.09.2020: Block seminar

 

 

 

 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 2018 by Mr. Chen

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

(papers and topics are subject to be updated soon.)

Wireless Networking and Control

• Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, Lothar Thiele: The Time-Triggered Wireless Architecture. ECRTS 2020: 19:1-19:25, https://doi.org/10.4230/LIPIcs.ECRTS.2020.19

• Fabian Mager, Dominik Baumann, Romain Jacob, Lothar Thiele, Sebastian Trimpe, Marco Zimmerling: Feedback control goes wireless: guaranteed stability over low-power multi-hop networks. ICCPS 2019: 97-108, https://doi.org/10.1145/3302509.3311046

Soft Real-Time Systems in Control Applications

• Martina Maggio, Arne Hamann, Eckart Mayer-John, Dirk Ziegenbein: Control-System Stability Under Consecutive Deadline Misses Constraints. ECRTS 2020: 21:1-21:24, https://doi.org/10.4230/LIPIcs.ECRTS.2020.21

• Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, Anton Cervin: DMAC: Deadline-Miss-Aware Control. ECRTS 2019: 1:1-1:24, https://doi.org/10.4230/LIPIcs.ECRTS.2019.1

Machine Learning and Control

• Feiyang Cai, Xenofon D. Koutsoukos: Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems. 174-183, https://ieeexplore.ieee.org/document/9095995

• Qitong Gao, Michael Naumann, Ilija Jovanov, Vuk Lesi, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic: Model-Based Design of Closed Loop Deep Brain Stimulation Controller using Reinforcement Learning. 108-118, https://ieeexplore.ieee.org/document/9096004

Neural Network and Control

• Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu: ReachNN: Reachability Analysis of Neural-Network Controlled Systems. ACM Trans. Embedded Comput. Syst. 18(5s): 106:1-106:22 (2019), https://doi.org/10.1145/3358228

• Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu: Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. ICCAD 2019: 1-8, https://doi.org/10.1109/ICCAD45719.2019.8942059

Fault Tolerance (1)

• G. A. Reis, J. Chang, N. Vachharajani, R. Rangan and D. I. August, "SWIFT: software implemented fault tolerance," International Symposium on Code Generation and Optimization, New York, NY, 2005, pp. 243-254,  https://ieeexplore.ieee.org/document/1402092

• Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler: Resilience evaluation via symbolic fault injection on intermediate code. DATE 2018: 845-850, http://www.informatik.uni-bremen.de/agra/doc/konf/DATE18_symbolic-swifi-llvm.pdf

Fault Tolerance (2)

• Muhammad Fayyaz Tanya Vladimirova, "Survey and future directions of fault-tolerant distributed computing on board spacecraft", Advances in Space Research, Volume 58, Issue 11, 1 December 2016, Pages 2352-2375 https://www.sciencedirect.com/science/article/pii/S0273117716304689 
• B. Sangchoolie, K. Pattabiraman and J. Karlsson, "One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors," 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) https://ieeexplore.ieee.org/document/8023114

Fault Tolerance (3)

• Jiwon Choi, Hayoung Jeoung, Jihun Kim, Youngjoo Ko, Wonup Jung, Hanjun Kim, Jong Kim: Detecting and Identifying Faulty IoT Devices in Smart Home with Context Extraction. DSN 2018: 610-621 https://ieeexplore.ieee.org/document/8416520

• Michael Norris, Z. Berkay Celik, Prasanna Venkatesh, Shulin Zhao, Patrick D. McDaniel, Anand Sivasubramaniam, Gang Tan:
  IoTRepair: Systematically Addressing Device Faults in Commodity IoT. IoTDI 2020: 142-148 https://ieeexplore.ieee.org/abstract/document/9097606

 

Battery or Not?

• Björn Cassens, Markus Hartmann, Thorsten Nowak, Niklas Duda, Jörn Thielecke, Alexander Kölpin, Rüdiger Kapitza: Bursting: Increasing Energy Efficiency of Erasure-Coded Data in Animal-Borne Sensor Networks. EWSN 2019: 59-70, https://dl.acm.org/citation.cfm?id=3324328

• Fan Yang, Ashok Samraj Thangarajan, Wouter Joosen, Christophe Huygens, Danny Hughes, Gowri Sankar Ramachandran, Bhaskar Krishnamachari: AsTAR: Sustainable Battery Free Energy Harvesting for Heterogeneous Platforms and Dynamic Environments. 71-82, https://dl.acm.org/citation.cfm?id=3324329

Worst-Case Execution Time

• Jan Reineke, Reinhard Wilhelm: Static Timing Analysis - What is Special? Semantics, Logics, and Calculi 2016: 74-87, http://embedded.cs.uni-saarland.de/publications/TimingAnalysisWhatIsSpecial2016.pdf

• Gregory Stock, Sebastian Hahn, Jan Reineke: Cache Persistence Analysis: Finally Exact. RTSS 2019: 481-494, https://doi.org/10.1109/RTSS46320.2019.00049

Medical Applications

• 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

Cyber Attacks

• 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

Mixed Criticality

• 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