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.

Winter 2020

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

Suggested Papers

Date Paper
Xingyuan Zhangm Christian Urban, and Chunhan Wu. Priority Inheritance Protocol Proved Correct. ITP 2012.
Rishabh Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina Argyraki, and George Candea. Performance Contracts for Software Network Functions. NSDI 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.

Suggested Papers

Date Paper
Tao Qian, Frank Mueller, and Yufeng Xin. A Linux Real-Time Packet Scheduler for Reliable Static SDN Routing. ECRTS 2017.
Tobias Blaß, Sebastian Hahn, and Jan Reineke. Write-Back Caches in WCET Analysis. ECRTS 2017.
Sandro Pinto, Jorge Pereira, Tiago Gomes, Adriano Tavares, and Jorge Cabral. LTZVisor: TrustZone is the Key. ECRTS 2017.
Davide Quarta, Marcello Pogliani, Mario Polino, Federico Maggi, Andrea Maria Zanchettin, and Stefano Zanero. An Experimental Security Analysis of an Industrial Robot Controller. S&P 2017.
Date Paper
Ruozhou Yu, Guoliang Xue, Xiang Zhang, and Jian Tang. Non-Preemptive Coflow Scheduling and Routing. GLOBECOM 2016.
Ziyang Li, Yiming Zhang, Dongsheng Li, Kai Chen, and Yuxing Peng. OPTAS: Decentralized Flow Monitoring and Scheduling for Tiny Tasks. INFOCOM 2016.
Ahmed M. Abdelmoniem, and Brahim Bensaou. Reconciling Mice and Elephants in Data Center Networks. CloudNet 2015.
Mosharaf Chowdhury, Yuan Zhong, and Ion Stoica. Efficient Coflow Scheduling with Varys. SIGCOMM 2014.
Yangming Zhao, Kai Chen, Wei Bai, Minlan Yu, Chen Tian, Yanhui Geng, Yiming Zhang, Dan Li, and Sheng Wang. Rapier: Integrating routing and scheduling for coflow-aware data center networks. INFOCOM 2015.
Mosharaf Chowdhury, and Ion Stoica. Efficient Coflow Scheduling Without Prior Knowledge. SIGCOMM 2015.

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.

Suggested Papers

Date Paper
Hyoseung Kim and Ragunathan Rajkumar. Real-Time Cache Management for Multi-Core Virtualization. EMSOFT 2016.
Prathap Kumar Valsan, Heechul Yun, and Farzad Farshchi. Taming Non-Blocking Caches to Improve Isolation in Multicore Real-Time Systems. RTAS 2016.
Micaiah Chisholm, Bryan C. Ward, Namhoon Kim, and James H. Anderson. Cache Sharing and Isolation Tradeoffs in Multicore Mixed-Criticality Systems. RTSS 2015.
Heechul Yun, Renato, Zheng-Pei Wu, Rodolfo Pellizzoni. PALLOC: DRAM Bank-Aware Memory Allocator for Performance Isolation on Multicore Platforms. RTAS 2014.
Heechu Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, and Lui Sha. Memguard: Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-Core Platforms. RTAS 2013.
Xiao Zhang, Sandhya Dwarkadas, and Kai Shen. Towards Practical Page Coloring-Based Multicore Cache Management. EuroSys 2009.

Imprint / Data Protection