Sprungmarken

Servicenavigation

Hauptnavigation


You are here:

Home Teaching Courses SS 2019 Seminar: Real-Time Systems (Englisch)

Bereichsnavigation

Hauptinhalt

Homepage for the seminar "Real-Time Systems" in SS 2019

The introduction of seminar is postponed to 06.05.2019.

Overview

Real-time systems play a crucial role in many applications, such as avionic control systems, automotive electronics, telecommunications, industrial automation, and robotics. Such safety-critical applications require high reliability in timing assurance to prevent from serious damage to the environment and significant human loss. 

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

Registration: Available from 06 May 2019 to 10 May 2019 (with topic selections)

Timeline

06.05.19: Introductions of the seminar and topics (16:15, Raum E18 in OH 16). 

06-10.05.2019: Choose a topic in person via Secretary (Frau Claudia Graute, Raum E22 in OH16)

13.05.2019 : Reservation due via Sekretariat des Lehrstuhls 

15.07.2019 : Reports due 

29.07.2019 : Slides draft due

12.08.2019 : Presentation (Block seminar, E18 in OH16)

 
The objective of this seminar: real-time.pdf
 
Topics (tetative only)
 
1. Real-Time Communications 
  • 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

  • Romain Jacob, Licong Zhang, Marco Zimmerling, Jan Beutel, Samarjit Chakraborty, Lothar Thiele: TTW: A Time-Triggered Wireless design for CPS. DATE 2018: 865-868

2. Worst-Case Execution Time 
  • Andreas Abel, Jan Reineke: uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures. ASPLOS 2019: 673-686

  • Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal, Michael Jacobs, Amir H. Moin, Jan Reineke, Bernhard Schommer, Reinhard Wilhelm:
    Impact of Resource Sharing on Performance and Performance Prediction: A Survey. CONCUR 2013: 25-43

  
3. Security in Real-Time System 
  • Mitra Nasri, Thidapat Chantem, Gedare Bloom, and Ryan M. Gerdes, "On the Pitfalls and Vulnerabilities of Schedule Randomization against Schedule-Based Attacks", the IEEE conference Real-Time and Embedded Systems and Applications Symposium (RTAS), 2019. (preprint can be found in http://www.st.ewi.tudelft.nl/mitra/)
  • Monowar Hasan, Sibin Mohan, Rakesh B. Bobba, Rodolfo Pellizzoni: Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems. RTSS 2016: 123-134  
4. Priority Assignments 
  • Robert I. Davis, Liliana Cucu-Grosjean, Marko Bertogna, Alan Burns: A review of priority assignment in real-time systems. Journal of Systems Architecture - Embedded Systems Design 65: 64-82 (2016)

  • Robert I. Davis, Marko Bertogna, Vincenzo Bonifaci: On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm. Real-Time Systems 52(1): 113-122 (2016)

5. Real-Time Operating Systems

  • Christian Dietrich, Daniel Lohmann: Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads. RTSS 2018: 338-349

  • Sebastian Altmeyer, Reinder J. Bril, Paolo Gai: EMPRESS: an Efficient and Effective Method for PREdictable Stack Sharing. RTCSA 2018: 92-100

 
6. Real-Time GPU 

  • Nicola Capodieci, Roberto Cavicchioli, Marko Bertogna, Aingara Paramakuru: Deadline-Based Scheduling for GPU with Preemption Support. RTSS 2018: 119-130

  • Ming Yang, Tanya Amert, Kecheng Yang, Nathan Otterness, James H. Anderson, F. Donelson Smith, Shige Wang: Making OpenVX Really "Real Time". RTSS 2018: 80-93

 
7. Probablistic Response-Time Analysis
  • Georg von der Brüggen, Nico Piatkowski, Kuan-Hsun Chen, Jian-Jia Chen, Katharina Morik: Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems. ECRTS 2018: 6:1-6:22

  • Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen and Jian-Jia Chen: Efficient Computation of Deadline-Miss Probability and Parametric Remedies for Potential Pitfalls.
    In Design, Automation and Test in Europe (DATE)  Florence, Italy, 25-29th, March 2019 (http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/kuan2019date.pdf)

8. Self-Suspension 
  •  Jian-Jia Chen et al.: Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Choose one or two papers in the review and present your thoughts)
 
9. Energy/Power/Temperature 
  • Lars Schor, Iuliana Bacivarov, Hoeseok Yang, Lothar Thiele: Worst-Case Temperature Guarantees for Real-Time Applications on Multi-core Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 87-96

  • Pratyush Kumar, Lothar Thiele: Timing Analysis on a Processor with Temperature-Controlled Speed Scaling. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 77-86

10. Resource Sharing (Semaphores)
  • Maolin Yang, Jian-Jia Chen, Wen-Hung Huang: A misconception in blocking time analyses under multiprocessor synchronization protocols. Real-Time Systems 53(2): 187-195 (2017)

  • Ragunathan Rajkumar, Lui Sha, John P. Lehoczky: Real-Time Synchronization Protocols for Multiprocessors. RTSS 1988: 259-269

11. Resource Sharing (Dependency Graph Approaches) 
  • Jian-Jia Chen, Georg von der Bruggen, Junjie Shi, Niklas Ueter: Dependency Graph Approach for Multiprocessor Real-Time Synchronization. RTSS 2018: 434-446

  • Junjie Shi, Niklas Ueter, Georg von der Brueggen, and Jian-Jia Chen: Multiprocessor Synchronization of Periodic Real-Time Tasks Using Dependency Graphs. RTAS 2019 (paper is available in PDF)

11. Multicore Systems 
  • Sebastian Altmeyer, Robert I. Davis, Leandro Soares Indrusiak, Claire Maiza, Vincent Nélis, Jan Reineke: A generic and compositional framework for multicore response time analysis. RTNS 2015: 129-138
  • Wen-Hung Huang, Jian-Jia Chen, and Jan Reineke: MIRROR: Symmetric Timing Analysis for Real-Time Tasks on Multicore Platforms with Shared Resources. DAC 2016
12. Formal Methods 
  • Felipe Cerqueira, Felix M. Stutz, and Bjoern Brandenburg: PROSA: A Case for Readable Mechanized Schedulability Analysis. Technical report of MPI-SWS (http://www.mpi-sws.org/~bbb/papers/pdf/preprint-prosa.pdf) 2016. (Only one paper, but CoQ Proof Assistant and PROSA demonstrations are expected.)
13. Soft Real-Time Systems
  • Youcheng Sun, Marco Di Natale: Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks. ACM Trans. Embedded Comput. Syst. 16(5): 171:1-171:19 (2017)

  • Sophie Quinton, Mircea Negrean, Rolf Ernst: Formal analysis of sporadic bursts in real-time systems. DATE 2013: 767-772

14. Multiprocessor Scheduling

  • Youcheng Sun, Marco Di Natale: Assessing the pessimism of current multicore global fixed-priority schedulability analysis. SAC 2018: 575-583

  • Alessandro Biondi, Youcheng Sun: On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling. Real-Time Systems 54(3): 515-536 (2018)

15. Memory

  • Mohamed Hassan: On the Off-Chip Memory Latency of Real-Time Systems: Is DDR DRAM Really the Best Option? 495-505

  • Danlu Guo, Mohamed Hassan, Rodolfo Pellizzoni, Hiren D. Patel: A Comparative Study of Predictable DRAM Controllers. ACM Trans. Embedded Comput. Syst. 17(2): 53:1-53:23 (2018) 

16. Networks on Chip

  • Borislav Nikolic, Sebastian Tobuschat, Leandro Soares Indrusiak, Rolf Ernst, Alan Burns: Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays. Real-Time Systems 55(1): 63-105 (2019)

  • Leandro Soares Indrusiak, Alan Burns, Borislav Nikolic: Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs. DATE 2018: 219-224

 
Materials: (Recommended, but not compulsory to use them)
a. Templates for the report: MS Office template, LaTEX template
b. Templates for the slides: MS Office template (download from service portal), LaTEX template
c. An example slide: RTCSA 2013 by Mr. Pagani