Real-Time Systems Reading Group

This is a weekly reading group. We plan to discuss papers from recent conferences and state-of-the-art papers. The papers will be chosen by group members in a round-robin fashion.

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

Spring 2020

Date Paper
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.

Imprint / Data Protection