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