Sprungmarken

Servicenavigation

Hauptnavigation


You are here:

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

Bereichsnavigation

Hauptinhalt

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


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 02 May 2017 to 05 May 2017 (with topic selections)

Timeline

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

02-05,05,2017: Choose a topic in person via Secretary (Frau Claudia Graute, Raum E22 in OH16)

05,05,2017: Reservation due via Sekretariat des Lehrstuhls 

08,07,2017: Reports due (turn in to the Secretary before 12:00 (noon))

21,07,2017: Slides draft due (send the slides to Prof. Chen before 12:00 (noon))

03-04,08,2017: Presentation (Block seminar for the two days, E18 in OH16)

 
The objective of this seminar:
http://ls12-www.cs.tu-dortmund.de/daes/media/documents/teaching/courses/ss17/real-time.pdf
 
Topics 
 
1. Real-Time Communications Alla Aldeen Alzoubi
   1.a  Romain Jacob, Marco Zimmerling, Pengcheng Huang, Jan Beutel, Lothar Thiele: End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems. RTSS 2016: 167-178
   1.b Zheng Dong, Yu Gu, Jiming Chen, Shaojie Tang, Tian He, Cong Liu: Enabling Predictable Wireless Data Collection in Severe Energy Harvesting Environments. RTSS 2016: 157-166
 
2. Worst-Case Execution Time Lin Du
   2.a Sebastian Hahn, Michael Jacobs, Jan Reineke: Enabling Compositionality for Multicore Timing Analysis. RTNS 2016: 299-308
   3.b Michael Jacobs, Sebastian Hahn, Sebastian Hack: WCET analysis for multi-core processors with shared buses and event-driven bus arbitration. RTNS 2015: 193-202
 
3. Security in Real-Time System Patrick Trockel
   3.a Man-Ki Yoon, Sibin Mohan, Chien-Ying Chen, Lui Sha: TaskShuffler: A Schedule Randomization Protocol for Obfuscation against Timing Inference Attacks in Real-Time Systems. RTAS 2016: 111-122
   3.b 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. Mixed Criticality Natascha Bomm
   4.a Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar: How realistic is the mixed-criticality real-time system model? RTNS 2015: 139-148
   4.b Rolf Ernst, Marco Di Natale: Mixed Criticality Systems - A History of Misconceptions? IEEE Design & Test 33(5): 65-74 (2016)
 
5. Real-Time Operating Systems Damian Pasternak
   5.a  Claas Diederichs, Ulrich Margull, Frank Slomka, Gerhard Wirrer: An application-based EDF scheduler for OSEK/VDX. DATE 2008: 1045-1050
   5.b Vincenzo Apuzzo, Alessandro Biondi, Giorgio C. Buttazzo: OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling. RTAS 2016: 13-23
 
6. Fault Toelerance Daniel Schulze Bisping
   6.a  Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann: dOSEK: the design and implementation of a dependability-oriented static embedded kernel. RTAS 2015: 259-270
   6.b Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech: Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems. ARCS 2017: 3-15
 
7. Probablistic Response-Time Analysis
   7.a Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng: Probabilistic Response Time and Joint Analysis of Periodic Tasks. ECRTS 2015: 235-246
   7.b Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis: Static Probabilistic Timing Analysis for Multi-path Programs. RTSS 2015: 361-372
 
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 
      9.a 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
      9.b 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) Stefan Hesse
   10.a Bryan C. Ward: Relaxing Resource-Sharing Constraints for Improved Hardware Management and Schedulability. RTSS 2015: 153-164
   10.b Maolin Yang, Alexander Wieder, Björn B. Brandenburg: Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison. RTSS 2015: 1-12
 
11. Multicore Systems Phillip Alexander Goldap
     11.a 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
     11.b 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. Engine Control Task Models Mikail Yayla
     13.a Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo: Response-time analysis for real-time tasks in engine control applications. ICCPS 2015: 120-129
     13.b 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.
 
14. Priority Assignments Roland Wyzgol
     14.a Robert I. Davis, Liliana Cucu-Grosjean, , Marko Bertogna, , Alan Burns: A Review of Priority Assignment in Real-Time Systems, Journal of Systems Architecture, 2016
     14.b 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)
 
15. Monitoring 
     15.a Moritz Neukirchner, Philip Axer, Tobias Michaels, Rolf Ernst: Monitoring of Workload Arrival Functions for Mixed-Criticality Systems. RTSS 2013: 88-96
     15.b Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst: Multi-mode monitoring for mixed-criticality real-time systems. CODES+ISSS 2013: 1-10
 
 
 
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