Real-Time Systems Reading Group

This is a weekly reading group. The papers are proposed by group members; usually papers from recent conferences with an occasional sprinkle of state-of-the-art papers.

We generally meet on Thursdays at 4:00 PM in room number 607 at the MPI-SWS building in Kaiserslautern.

Winter 2021

Date Paper
17 Feb Andy Cockburn, Pierre Dragicevic, Lonni Besançon, and Carl Gutwin. Threats of a Replication Crisis in Empirical Computer Science. Communications of the ACM, August 2020.
10 Feb Kunal Agrawal, Sanjoy Baruah, Zhishan Guo, Jing Li, and Sudharsan Vaidhu. Hard-Real-Time Routing in Probabilistic Graphs to Minimize Expected Delay. RTSS 2020.
27 Jan Richard Hamming. You and Your Research. Bell Communications Research Colloquium Seminar, 1986.
20 Jan Simon Shillaker and Peter Pietzuch. Faasm: Lightweight Isolation for Efficient Stateful Serverless Computing. Usenix 2020.

Fall 2020

Date Paper
29 Sep Cédric Courtaud, Julien Sopena, Gilles Muller, and Daniel Gracia. Improving Prediction Accuracy of Memory Interferences for Multicore Platforms. RTSS 2019.
17 Sep Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Aloysius K. Mok, and Song Han. Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems. RTSS 2019.
10 Sep Anam Farrukh and Richard West. smARTflight: An Environmentally-Aware Adaptive Real-Time Flight Management System. ECRTS 2020.
03 Sep Alessandro Biondi and Youcheng Sun. On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling. Real-Time Systems, 2018.

Summer 2020

Date Paper
26 Aug Javier Perez Rodriguez and Patrick Meumeu Yomsi. Thermal-Aware Schedulability Analysis for Fixed-Priority Non-Preemptive Real-Time Systems. RTSS 2019.
19 Aug Piotr Dziurzanski, Robert I. Davis, and Leandro Soares Indrusiak. Synthesizing Real-Time Schedulability Tests Using Evolutionary Algorithms: A Proof of Concept. RTSS 2019.
12 Aug Dan Iorga, Tyler Sorensen, John Wickerson, and Alastair F. Donaldson. Slow and Steady: Measuring and Tuning Multicore Interference. RTAS 2020.
10 Jun Discussion: Systems Benchmarking Crimes
03 Jun Golchin, Ahmad, Soham Sinha, and Richard West. Boomerang: Real-Time I/O Meets Legacy Systems. RTAS 2020.

Spring 2020

Date Paper
30 Apr E. Bini, Cutting the Unnecessary Deadlines in EDF. RTCSA 2019
02 Apr Stephen Law and Iain Bate. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis. ECRTS 2016.
26 Mar Runyu Pan and Gabriel Parmer. MxU: Towards Predictable, Flexible, and Efficient Memory Access Control for the Secure IoT. EMSOFT 2019.
19 Mar Gregory Stock, Sebastian Hack, and Jan Reineke. Cache Persistence Analysis: Finally Exact. RTSS 2019.
5 Mar Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, and Michael González Harbou. Influence of different system abstractions on the performance analysis of distributed real-time systems. EMSOFT 2007.

Winter 2020

Date Paper
30 Jan Nathan Fisher and Sanjoy Baruah. A Fully Polynomial-Time Approximation Scheme for Feasibility Analysis in Static-Priority Systems with Arbitrary Relative Deadlines. ECRTS 2005.
23 Jan Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas Anderson, and Timothy Roscoe. Arrakis: The Operating System is the Control Plane. OSDI 2014.
16 Jan Anton Cervin, Dan Henriksson, Bo Lincoln, Johan Eker, Karl-Erik Årzén. How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime. IEEE Control Systems Magazine, June 2003.

Fall 2019

Date Paper
12 Dec Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, Jiaguang Sun. Polar: Function Code Aware Fuzz Testing of ICS Protocol. EMSOFT 2019.
05 Dec Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava Dimitrova, Sebastian Wicki, Zaheer Chothia, and Timothy Roscoe. SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows. NSDI 2018.
28 Nov Cancelled
21 Nov Cancelled (discussion on RTA)
14 Nov Catherine E. Nemitz, Tanya Amert, Manish Goyal, and James H. Anderson. Concurrency Groups: A New Way to Look at Real-Time Multiprocessor Lock Nesting. RTNS 2019.
07 Oct Charles Masson, Jee E. Rim, and Homin K. Lee. DDSketch: A Fast and Fully-Mergeable Quantile Sketch with Relative-Error Guarantees. VLDB 2019.
30 Sep Vimuth Fernando, Antonio Franques, Sergi Abadal, Sasa Misailovic, and Josep Torrellas. Replica: A Wireless Manycore for Communication-Intensive and Approximate Data. ASPLOS 2019.
23 Sep Isaac Grosof, Ziv Scully, and Mor Harchol-Balter. Load Balancing Guardrails: Keeping Your heavy Traffic on the Road to Low Response Times. SIGMETRICS 2019.

Summer 2019 (ECRTS 2019 Papers)

Date Paper
16 Sep Paolo Pazzaglia, Claudio Mandrioli, Martina Maggio, and Anton Cervin. DMAC: Deadline-Miss-Aware Control. ECRTS 2019.
09 Sep Cancelled (MPI-SWS retreat)
02 Sep Victor Millnert, Johan Eker, and Enrico Bini. End-To-End Deadlines over Dynamic Topologies. ECRTS 2019.
26 Aug Renato Mancuso, Heechul Yun, and Isabelle Puaut. Impact of DM-LRU on WCET: a Static Analysis Approach. ECRTS 2019.
19 Aug Stephen Law, Benjamin Lesage, and Iain Bate. Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. ECRTS 2019.

Summer 2018

Date Paper
6 Aug Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, and Danny Bøgsted Poulsen. Uppaal SMC tutorial. STTT 2015.
30 Jul Gerd Behrmann, Alexandre David, and Kim G. Larsen. A tutorial on Uppaal. SFM-RT 2004.
23 Jul Kyong-Tak Cho and Kang G. Shin. Fingerprinting Electronic Control Units for Vehicle Intrusion Detection. USENIX Security 2016.
16 Jul Karl Koscher, Alexei Czeskis, Franziska Roesner, Shwetak Patel, Tadayoshi Kohno, Stephen Checkoway, Damon McCoy et al. Experimental Security Analysis of a Modern Automobile. S&P 2010.

Summer 2017

Date Paper
27 Aug Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, and Emmett Witchel. Coordinated and Efficient Huge Page Management with Ingens. OSDI 2016.
31 Jul Rachid Guerraoui, David Kozhaya, and Yvonne-Anne Pignolet. Right on Time Distributed Shared Memory. RTSS 2016.
24 Jul Arne Hamann, Dakshina Dasari, Simon Kramer, Michael Pressler, and Falk Wurst. Communication Centric Design in Complex Automotive Embedded Systems. ECRTS 2017.
11 Jul Cancelled (RTNS deadline)
04 Jul Pulkit A. Misra, Jeffrey S. Chase, Johannes Gehrke, and Alvin R. Lebeck. Enabling Lightweight Transactions with Precision Time. ASPLOS 2017.
20 Jun Guilherme Cox, and Abhishek Bhattacharjee. Efficient Address Translation for Architectures with Multiple Page Sizes. ASPLOS 2017.
13 Jun Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, and Christof Fetzer. SGXBOUNDS: Memory Safety for Shielded Execution. EuroSys 2017.
06 Jun Christina Delimitrou and Christos Kozyrakis. Bolt: I Know What You Did Last Summer... In the Cloud. ASPLOS 2017.
30 May Bobby Powers, John Vilk, and Emery D. Berger. Browsix: Bridging the Gap Between Unix and the Browser. ASPLOS 2017.

Spring 2017 (Cache Isolation Techniques)

Date Paper
11 Apr Namhoon Kim, Micaiah Chisholm, Nathan Otterness, James H. Anderson, and F. Donelson Smith. Allowing Shared Libraries while Supporting Hardware Isolation in Multicore Real-Time Systems. RTAS 2017.
04 Apr Bryan C. Ward, Jonathan L. Herman, Christopher J. Kenna, and James H. Anderson. Making shared caches more predictable on multicore platforms. ECRTS 2013.
29 Mar Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, and Insup Lee. vCAT: Dynamic Cache Management Using CAT Virtualization. RTAS 2017.
23 Mar Gracioli, Giovani, Ahmed Alhammad, Renato Mancuso, Antônio Augusto Fröhlich, and Rodolfo Pellizzoni. A Survey on Cache Management Mechanisms for Real-Time Embedded Systems. CSUR Volume 48 Issue 2 2015.
14 Mar Alberto Scolari, Davide Basilio Bartolini, and Marco Domenico Santambrogio. A Software Cache Partitioning System for Hash-Based Caches. TACO Volume 13 Issue 4 2016.
23 Feb Andrew Herdrich, Edwin Verplanke, Priya Autee, Ramesh Illikkal, Chris Gianos, Ronak Singhal, and Ravi Iyer. Cache QoS: From concept to reality in the Intel® Xeon® processor E5-2600 v3 product family. HPCA 2016.
14 Feb Renato Mancuso, Roman Dudko, Emiliano Betti, Marco Cesati, Marco Caccamo, and Rodolfo Pellizzoni. Real-Time Cache Management Framework for Multi-Core Architectures. RTAS 2013.
07 Feb Hyoseung Kim, Arvind Kandhalu, and Ragunathan Rajkumar. A Coordinated Approach for Practical OS-Level Cache Management in Multi-Core Real-Time Systems. ECRTS 2013.
31 Jan Cancelled (ECRTS deadline)
24 Jan Cancelled (ECRTS deadline)
17 Jan Richard E. Kessler and Mark D. Hill. Page Placement Algorithms for Large Real-Indexed Caches. TOCS Volume 10 Issue 4 1992.