Sprungmarken

Servicenavigation

Hauptnavigation


You are here:

Home Teaching Courses SS 2016 Seminar: Real-Time Systems (English)

Bereichsnavigation

Hauptinhalt

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

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

 

Presentation schedule: (Jul. 26-27, 2016)

July 26 July 27
9:00 - 9:50  Worst Case Execution Time (Arthur Schwabauer) 9:00 - 9:50  Communication - 1a/1d (Shabnam Tabatabaian)
9:50 - 10:40  Computational Complexity (Yu Huang)  9:50 - 10:30  Communication - 1b/1c (Milad Nayebi)
10:40 - 11:00  Coffee Break
11:00 - 11:50  Monitoring (Jörn Esdohr 11:00 - 11:50  Communication - 1e/1f (Amin Nirazi)
11:50 - 12:40  Controller and scheduler co-design (Christian Matuschek) 11:50 - 12:40  Mode change (Lili Xu)

12:40 - 14:00

 Break

14:00 - 14:50

 Mixed Criticality (Lea Schöeneberger)
14:50 - 15:40  Fault Tolerence (Daniel Friesel)

 

Timeline

20.04.2016: Introductions of the seminar and topics (14:00, Raum E18 in OH 16)

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

06,05,2016: Reservation due via Sekretariat des Lehrstuhls 

30,06,2016: Reports due (turn in to the Secretary before 12:00 (noon))

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

26-27,07,2016: Presentation (Block seminar for the two days, E18 in OH16)

 
Topics 
 
1. Real-Time Communications [1a, 1d-Shabnam Tabatabaian] [1b, 1c-Milad Nayebi] [1e, 1f-Amin Nirazi]
  1.a  Shengyan Hong, Xiaobo Sharon Hu, Tao Gong, Song Han:On-Line Data Link Layer Scheduling in Wireless Networked Control Systems. ECRTS 2015: 57-66
  1.b  Arpan Gujarati, Björn B. Brandenburg: When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems. RTSS 2015: 249-260
  1.c  Robert I. Davis, Steffen Kollmann, Victor Pollex, Frank Slomka: Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways. Real-Time Systems 49(1): 73-116 (2013)
  1.d Unmesh D. Bordoloi, Soheil Samii: The Frame Packing Problem for CAN-FD. RTSS 2014: 284-293
  1.e Abusayeed Saifullah, Dolvara Gunatilaka, Paras Babu Tiwari, Mo Sha, Chenyang Lu, Bo Li, Chengjie Wu, Yixin Chen: Schedulability Analysis under Graph Routing in WirelessHART Networks. RTSS 2015: 165-174
  1.f Quan Leng, Yi-Hung Wei, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka: Improving Control Performance by Minimizing Jitter in RT-WiFi Networks. RTSS 2014: 63-73
 
 
2. Worst-Case Execution Time [Arthur Schwabauer]
   2.a Jan Reineke, Reinhard Wilhelm: Static Timing Analysis - What is Special? Semantics, Logics, and Calculi 2016: 74-87
   2.b Sebastian Hahn, Jan Reineke, Reinhard Wilhelm: Toward Compact Abstractions for Processor Pipelines. Correct System Design 2015: 205-220
 
3. Controller and Scheduler co-Design [Christian Matuschek]
   3.a Amir Aminifar, Petru Eles, Zebo Peng: Jfair: a scheduling algorithm to stabilize control applications. RTAS 2015: 63-72
   3.b Amir Aminifar, Paulo Tabuada, Petru Eles, Zebo Peng: Self-Triggered Controllers and Hard Real-Time Guarantees. DATE 2016
 
4. Mixed Criticality [Lea Schöeneberger]
   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 Sanjoy K. Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Suzanne van der Ster, Leen Stougie: Preemptive Uniprocessor Scheduling of Mixed-Criticality Sporadic Task Systems. J. ACM 62(2): 14 (2015)
 
5. Fault Toelerance [Daniel Friesel]
   5.a Mohammad A. Haque, Hakan Aydin and Dakai Zhu: REAL-TIME SCHEDULING UNDER FAULT BURSTS WITH MULTIPLE RECOVERY STRATEGY. IEEE Real-Time and Embedded Technology and Applications Symposium 2014 
   5.b 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. Computational Complexity [Yu Hang]
   6.a Pontus Ekberg, Wang Yi: Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete. ECRTS 2015: 281-286
   6.b Pontus Ekberg, Wang Yi: Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization. RTSS 2015: 87-95
 
7. Probablistic Response-Time Analysis [x]
   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 [Christian Günter]
   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. Mode Change [Lili Xu]
  9.a Wen-Hung Huang, Jian-Jia Chen: Techniques for Schedulability Analysis in Mode Change Systems under Fixed-Priority Scheduling. RTCSA 2015: 176-186
  9.b Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi: The Digraph Real-Time Task Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 71-80
 
10. Resource Sharing (Semaphores) [x]
   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 [x]
     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 [x]
     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 [x]
     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 [x]
     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 [Jörn Esdohr]
     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
 
16. Energy/Power/Temperature [x]
      16.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
      16.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
 
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