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 Mondays at 2:15 PM in room number 207 (Kaiserslautern). If there are attendees from Saarbrücken, then we meet in the video conference meeting rooms --- room numbers 517 (Kaiserslautern) and 522 (Saarbrücken).

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