RTSS 2020

Accepted Papers

Conference papers (28 out of 140 submissions)

  1. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment
    Guoqi Xie, Haijie Gong, Yunbo Han, Samarjit Chakraborty and Wanli Chang
  2. A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory
    Matheus Schuh, Claire Maiza, Joel Goossens, Pascal Raymond and Benoît Dupont de Dinechin
  3. An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis
    Yecheng Zhao, Runzhi Zhou and Haibo Zeng
  4. DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency
    Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns and Wanli Chang
  5. E-WarP: a System-wide Framework for Memory Bandwidth Profiling and Management
    Parul Sohal, Rohan Tabish, Ulrich Drepper and Renato Mancuso
  6. Energy-Constrained Standby-Sparing for Weakly Hard Real-Time Systems
    Linwei Niu and Danda Rawat
  7. Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests
    David Griffin, Iain Bate and Robert Davis
  8. GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources
    Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo and Samarjit Chakraborty
  9. HARC: A Heterogeneous Array of Redundant Persistent Clocks for Batteryless, Intermittently-Powered Systems
    Vishal Deep, Vishak Narayanan, Mathew Wymore, Daji Qiao and Henry Duwe
  10. Hard-Real-Time Routing in Probabilistic Graphs to Minimize Expected Delay
    Kunal Agrawal, Sanjoy Baruah, Zhishan Guo, Jing Li and Sudharsan Vaidhun
  11. Hybridization for stability verification of nonlinear switched systems
    Miriam García Soto and Pavithra Prabhakar
  12. Integrating Online Safety-related Memory Tests in Multicore Real-Time Systems
    Ciro Donnarumma, Alessandro Biondi, Francesco De Rosa and Stefano Di Carlo
  13. Maintaining Real-Time Data Freshness in Wireless Powered Communication Networks
    Zimeng Zhou, Zelin Yun, Chenchen Fu, Jason Xue and Song Han
  14. Mixed-Criticality Scheduling in Compositional Real-Time Systems with Multiple Budget Estimates
    Kecheng Yang and Zheng Dong
  15. Non-Preemptive Real-Time Multiprocessor Scheduling Beyond Work-Conserving
    Hyeongboo Baek, Jaeheon Kwak and Jinkyu Lee
  16. On Removing Algorithmic Priority Inversion from Mission-critical Machine Inference Pipelines
    Shengzhong Liu, Shuochao Yao, Xinzhe Fu, Rohan Tabish, Simon Yu, Ayoosh Bansal, Heechul Yun, Lui Sha and Tarek Abdelzaher
  17. Optimal Priority Assignment for Multiple CAN/CAN-FD Buses with a Central Gateway
    Taeju Park, Jiarui Lyu and Kang Shin
  18. Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems
    Zhe Jiang, Kecheng Yang, Nathan Fisher, Neil Audsley and Zheng Dong
  19. R-TOD: Real-Time Object Detector with Minimized End-to-End Delay for Autonomous Driving
    Wonseok Jang, Hansaem Jeong, Kyungtae Kang, Nikil Dutt and Jong-Chan Kim
  20. Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland’s Bound
    Pontus Ekberg
  21. Real-Time Recovery for Cyber-Physical Systems using Linear Approximations
    Lin Zhang, Xin Chen, Fanxin Kong and Alvaro Cardenas
  22. Reliability Test based on a Binomial Experiment for Probabilistic Worst-Case Execution Times
    Luís Fernando Arcaro, Karila Palma Silva, Rômulo Silva de Oliveira and Luís Almeida
  23. Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors
    Yue Tang, Zhiwei Feng, Nan Guan, Xu Jiang, Mingsong Lv, Qingxu Deng and Wang Yi
  24. Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks
    Suhail Nogd, Geoffrey Nelissen, Mitra Nasri and Björn Brandenburg
  25. Robust and Accurate Period Inference using Regression-Based Techniques
    Serban Vadineanu and Mitra Nasri
  26. Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance
    Alan Burns and Robert Davis
  27. The Best of All Worlds: Improving Predictability at the Performance of Conventional Coherence with No Protocol Modifications
    Salah Hessien and Mohamed Hassan
  28. Towards Practical Multiprocessor EDF with Affinities
    Stephen Tang and Jim Anderson

Brief presentations (18 out of 26 submissions)

Conference papers never presented (CnP)
  1. Hiding DRAM Refresh Overhead in Real-Time Cyclic Executives.
    Xing Pan and Frank Mueller
Journal papers never presented (JnP)
  1. Improving WCET Evaluation using Linear Relation Analysis.
    Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae and Rémy Boutonnet
  2. Schedulability Analysis of Time-Sensitive Networks with Preemption Support.
    Lucia Lo Bello, Mohammad Ashjaei, Gaetano Patti and Moris Behnam
  3. Expression Caching for Runtime Verification Based on Parameterized Probabilistic Models.
    Hiroyuki Nakagawa, Hiromu Toyama and Tatsuhiro Tsuchiya
  4. Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics.
    Mohammed Foughali and Pierre-Emmanuel Hladik
Work-in-Progress papers (WiP)
  1. Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems.
    Stefan Reif, Phillip Raffeck, Peter Ulbrich and Wolfgang Schröder-Preikschat
  2. Fault Tolerance in a Two-State Checkpointing Regularity-Based System .
    Elena Torre and Albert Cheng
  3. Designing a Server-Side Progressive JPEG Encoder for Real-Time Applications.
    Andrew Louie and Albert Cheng
  4. Fine-Grained On-Chip Energy Measurement of a Real-Time Multi-Core Processor.
    Dominic Oehlert, Edward Umaña Williams and Heiko Falk
  5. Safe and Secure Configuration Synthesis for TSN using Constraint Programming.
    Niklas Reusch, Paul Pop and Silviu Craciunas
  6. The ILP-Tractability of Schedulability Analysis Problems.
    Sanjoy Baruah
  7. A DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems.
    Giann Spilere Nandi, David Pereira, José Proença and Eduardo Tovar
  8. Cyber-Physical Systems and Dynamic Partial Reconfiguration Scalability: opportunities and challenges.
    Gabriella D’Andrea and Giacomo Valente
  9. Towards a fine-grain thermal model for uniform multi-core processors.
    Javier Pérez Rodríguez and Patrick Meumeu Yomsi
  10. WCRT Analysis for the 3-Phase Task Model in Partitioned Scheduling.
    Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen and Eduardo Tovar
  11. Toward Precomputation in Real-Time Mixed-Trust Scheduling.
    Dionisio de Niz, Bjorn Andersson, Hyoseung Kim, Mark Klein and John Lehoczky
  12. Lessons learnt from creating Extreme Value Libraries in Python.
    Marwan Wehaiba El Khazen, Adriana Gogonel and Liliana Cucu-Grosjean
  13. Towards representative measurement protocols.
    Kossivi KOUGBLENOU, Rihab Bennour, Adriana Gogonel and Liliana Cucu-Grosjean