RTSS 2020

Program

All times in CST (UTC-6)

December 1 December 2 December 3 December 4
6:00 7:00 Social / Ice-Breaking EventBrief Presentation,
Demo
Celebration of RTSS (cont’d)
7:00 7:20Hot Topics Day Opening P1: Industrial Panel AS2: Award Speech
Reinhard Wilhelm
7:20 7:40 AS1: Award Speech
Wang Yi
7:40 8:00 P2: A Survey of Industry Practice
in Real-Time Systems
8:00 8:40 TS1: Outstanding Papers (RTSS 2019) TS4: Multiprocessor Scheduling
8:40 9:00 Break Break Break
9:00 9:30 TS2: Mixed-Criticality Systems TS5: Real-Time Communication: Wired and Wireless TS8: Energy Optimization and Multicore Systems
9:30 9:35
9:35 9:40 TS3: From Soft to Hard Real-Time TS6: CPS and Autonomous Systems
9:40 9:50
9:5010:05 TS9: Outstanding Papers
10:0510:10
10:1010:40 Brief Presentation TS7: Predictability and Verification of Existing Systems
10:4011:00 Celebration of RTSS
(Banquet)
Closing
11:0011:10Social / Ice-Breaking Event
11:1012:00 TCRTS Technical meeting Closing Party

Add to Google Calendar
Download the .ics file


Hot Topics Day

7:00 11:00 Application of DARPA Assured Autonomy Program Technologies to Autonomous Learning-Enabled Real-Time Systems (DARPA)
Detailed program
7:00 7:30 Formal Analysis, Verification and Design of Safety-Critical CPS
Detailed program
7:30 11:00 8th International Workshop on Mixed Criticality Systems (WMC 2020)
Detailed program

Detailed Program

Day 1 – 02 December 2020
AS1: Award Speech (7:20 – 8:00)
Moderator: X. Sharon Hu, University of Notre Dame, Indiana, USA

Design and Dynamic Update of Real-Time Systems
Wang Yi

Abstract. Technology solutions are becoming utterly dependent on software. Today, the functionality of most industrial systems and products such as cars, smart phones, and medical devices is implemented by software as embedded real-time system. The reliability of these systems is fundamental to the functioning of our society, as evidenced by accidents reported in recent years, e.g., involving self-driving Tesla cars controlled by software. The current trend is that today’s mostly closed and single purpose embedded real-time systems will become open platforms. They will allow integration of an expanding number of software components over their life-time e.g., in order to enhance and customize their functionality according to the varying needs of individual users, and to defend against upcoming security threats. To enable this, we must have systems that support dynamic updates on-demand, but still retain their safety properties. To be feasible, and to ensure that the resulting systems stay safe, software updates must be performed in a component-wise and incremental manner without demanding re-designing/updating/verifying the whole system.

Prof. Wang Yi is the recipient of the IEEE TCRTS Outstanding Technical Achievement and Leadership Award 2019. The award speech is rescheduled to RTSS 2020 due to the cancellation of RTSS 2019.

TS1: Outstanding Papers – RTSS 2019 (8:05 – 8:40)
Session Chair: Liliana Cucu-Grosjean, Inria, France
1Mixed-Criticality Multicore Scheduling of Real-Time Gang Task Systems
Ashik Ahmed Bhuiyan, Kecheng Yang, Samsil Arefin, Abusayeed Saifullah, Nan Guan and Zhishan Guo
2Cache Persistence Analysis: Finally Exact
Gregory Stock, Sebastian Hahn and Jan Reineke
3Online Reconfiguration of Regularity-based Resource Partitions in Cyber-Physical Systems
Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Al Mok and Song Han
TS2: Mixed-Criticality Systems (9:00 – 9:30)
Session Chair: Zhishan Guo, University of Central Florida, USA
4Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance
Alan Burns and Robert Davis
5Mixed-Criticality Scheduling in Compositional Real-Time Systems with Multiple Budget Estimates
Kecheng Yang and Zheng Dong
6Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems
Zhe Jiang, Kecheng Yang, Nathan Fisher, Neil Audsley and Zheng Dong
TS3: From Soft to Hard Real-Time (9:35 – 10:05)
Session Chair: Arne Hamann, Robert Bosch GmbH, Germany
7Reliability 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
8Hard-Real-Time Routing in Probabilistic Graphs to Minimize Expected Delay
Kunal Agrawal, Sanjoy Baruah, Zhishan Guo, Jing Li and Sudharsan Vaidhun
9Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests
David Griffin, Iain Bate and Robert Davis
Day 2 – 03 December 2020
TS4: Multiprocessor Scheduling (8:00 – 8:40)
Session Chair: Jöel Goossens, Université libre de Bruxelles, Belgium
10Towards Practical Multiprocessor EDF with Affinities
Stephen Tang and Jim Anderson
11Non-Preemptive Real-Time Multiprocessor Scheduling Beyond Work-Conserving
Hyeongboo Baek, Jaeheon Kwak and Jinkyu Lee
12Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks
Suhail Nogd, Geoffrey Nelissen, Mitra Nasri and Björn Brandenburg
13DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency
Shuai Zhao, Xiaotian Dai, Iain Bate, Alan Burns and Wanli Chang
TS5: Real-Time Communication: Wired and Wireless (9:00 – 9:30)
Session Chair: Steffen Bondorf, Ruhr University Bochum, Germany
14A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment
Guoqi Xie, Haijie Gong, Yunbo Han, Samarjit Chakraborty and Wanli Chang
15Optimal Priority Assignment for Multiple CAN/CAN-FD Buses with a Central Gateway
Taeju Park, Jiarui Lyu and Kang Shin
16Maintaining Real-Time Data Freshness in Wireless Powered Communication Networks
Zimeng Zhou, Zelin Yun, Chenchen Fu, Jason Xue and Song Han
TS6: CPS and Autonomous Systems (9:35 – 10:05)
Session Chair: Tam Chantem, Virginia Tech., USA
17GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources
Debayan Roy, Sumana Ghosh, Qi Zhu, Marco Caccamo and Samarjit Chakraborty
18R-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
19Real-Time Attack-Recovery for Cyber-Physical Systems using Linear Approximations
Lin Zhang, Xin Chen, Fanxin Kong and Alvaro Cardenas
TS7: Predictability and Verification of Existing Systems (10:10 – 10:40)
Session Chair: Martina Maggio, Lund University, Sweden
20The Best of All Worlds: Improving Predictability at the Performance of Conventional Coherence with No Protocol Modifications
Salah Hessien and Mohamed Hassan
21Response 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
22Hybridization for stability verification of nonlinear switched systems
Miriam García Soto and Pavithra Prabhakar
Day 3 – 04 December 2020
AS2: Award Speech (7:00 – 7:40)
Moderator: Jian-Jia Chen, TU Dortmund, Germany

Real Time Spent on Real Time
Reinhard Wilhelm

Abstract. Worst-Case Execution-Time (WCET) Analysis is the first phase of Timing Analysis, which attempts to verify that a set of real-time tasks can be executed on an execution platform such that all tasks respect their deadlines. WCET analysis determines upper bounds on execution times, which are then passed on to a Schedulability Analysis, the second phase of Timing Analysis. This clean separation into the two phases holds for single-core execution platforms. Multi-core platforms require a more complex interaction between WCET analysis and schedulability analysis. We have solved the WCET-analysis problem for single-core platforms. Key to our success was the use of Abstract Interpretation for the static analysis of the behavior of architectural components such as caches, pipelines, buses, and peripheries. The Program-Analyzer Generator (PAG), which is based on Abstract Interpretation, allowed us to quickly develop and experiment with abstract domains, to arrive at sound, precise, and scalable solutions.

Prof. Reinhard Wilhelm is the recipient of the IEEE TCRTS Outstanding Technical Achievement and Leadership Award 2020.

P2: A Survey of Industry Practice in Real-Time Systems (7:40 – 8:40)
Moderator: Mitra Nasri, Eindhoven University of Technology, Netherlands

An Empirical Survey-based Study into Industry Practice in Real-time Systems
Benny Akesson , Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis

This session begins with presentation of the results and observations from the above survey of 120 industry practitioners in the field of real-time embedded systems. The survey provides insights into the characteristics of the systems being developed today and identifies important trends for the future. It extends the results from the survey data to the broader population that it is representative of, and discusses significant differences between application domains. The survey aims to inform both academics and practitioners, helping to avoid divergence between industry practice and fundamental academic research.

The session includes a panel discussion involving three industry practitioners: Marcelo Lopez Ruiz (Microsoft), Simon Schliecker (Volkswagen), and Stephen Law (Rolls-Royce), who took part in the survey, and Benny Akesson, the lead academic author. They will discuss four key questions relating to the survey results, as well as taking questions from the audience.

TS8: Energy Optimization and Multicore Systems (9:00 – 9:40)
Session Chair: Cong Liu, University of Texas at Dallas, USA
23Energy-Constrained Standby-Sparing for Weakly Hard Real-Time Systems
Linwei Niu and Danda Rawat
24HARC: A Heterogeneous Array of Redundant Persistent Clocks for Batteryless, Intermittently-Powered Systems
Vishal Deep, Vishak Narayanan, Mathew Wymore, Daji Qiao and Henry Duwe
25A 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
26Integrating Online Safety-related Memory Tests in Multicore Real-Time Systems
Ciro Donnarumma, Alessandro Biondi, Francesco De Rosa and Stefano Di Carlo
TS9: Outstanding Papers (9:50 – 10:40)
Session Chair: Aviral Shrivastava, Arizona State University, USA
27Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland’s Bound
Pontus Ekberg
28On 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
29An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis
Yecheng Zhao, Runzhi Zhou and Haibo Zeng
30E-WarP: a System-wide Framework for Memory Bandwidth Profiling and Management
Parul Sohal, Rohan Tabish, Ulrich Drepper and Renato Mancuso
31Robust and Accurate Period Inference using Regression-Based Techniques
Serban Vadineanu and Mitra Nasri