To path indicator Subpages of “Teaching“ To navigation To quick access To footer with other services
To content
Design Automation for Embedded Systems
Department of Computer Science
Studenten im Sommer auf dem Campus Nord, rote Zahnräder im Hintergrund © Roland Baege​/​TU Dortmund

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

 

 

 

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

Machine Learning and Control

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)

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

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

 

To top of page