RTSS 2022

43rd IEEE Real-Time Systems Symposium (RTSS) 2022 Program

Day 1 (December 5th, 2022)

Registration (7:00-17:00): DoubleTree Registration Room

Breakfast (7:00 – 8:00) Greenway 2

Sessions 1 A  (9:00-12:00) Sam Rayburn  

Opening & Welcome Kick-off/Introduction ERSA (8:40 – 9:20) – Sam Rayburn
Bjorn Andersson «The case for explainability of real-time systems»
Session 1 ERSA (9:20 – 10:00) – Sam Rayburn / Certificate as explanation
[09:20-09:40] Certificates of Real-Time Schedulability, Sanjoy Baruah and
Pontus Ekberg
[09:40-10:00] Understanding Safety of Linear Real-Time Systems from Lyapunov
Theory and Quadratic Boundedness, Raffaele Romagnoli
Coffee break (Greenway Foyer, 10 am)
Session 2 ERSA (10:30 – 11:30) – Sam Rayburn / Formal methods with explanation
[10:30 – 10:50] For mal Artifacts as Explanations for System Correctness in Cyber-
Physical Systems, Stefan Mitsch
[10:50 – 11:10] Towards Explainable Formal Verification, Ruben Martins
[11:10 – 11:30] (Invited paper) Towards Explainability in Modular Autonomous Vehicle So?ware, Hongrui Zheng
Panel (11:30 – 12:00)
Björn Brandenburg, Wang Yi, Renato Mancuso, What are the challenges in explainability? What is your position on explainability? What role should explainability play? Where in the software development life-cycle (and for whom) does explainability add most value?

Sessions 1 B  (9:00-12:00) Bluebonnet

WMC Morning Session

Opening + Keynote (9:00 – 10:15): Jian-Jia Chen – «Probabilistic Real-Time Scheduling and its Possible Link to Mixed-Criticality Systems», by Georg von der Brüggen, Sergey Bozhko, Mario Günzel, Kuan-Hsun Chen, Jian-Jia Chen and Björn Brandenburg

Coffee at 10:15 am

Session 1 WMC (10:30-11:10) – Bluebonnet / Mixed-Criticality Task Scheduling
[10:30-10:50] Precise Scheduling Mixed-Criticality Gang Tasks with Reserved
Processors, Tianning She, Zhishan Guo and Kecheng Yang
[10:50-11:10] Mixed-Criticality Scheduling for Parallel Real-Time Tasks with
Resource Reclamation, Qingqiang He, Nan Guan and Xu Jiang

Session 2 WMC (11:20-12:00) – Bluebonnet / Resilient and Fault Recovery
[11:20-11:40] A Secure Resilient Real-Time Recovery Model, Scheduler, and
Analysis, Abdullah Al Arafat, Sudharsan Vaidhun, Bryan Ward and Zhishan Guo
[11:40-12:00] Mixed-Criticality Wireless Communication for Robot Swarms, Sven
Signer, Alan Millard and Ian Gray

Lunch (12:00-13:00): Greenway Ballroom II

Sessions 2 A  (13:00-17:00) Sam Rayburn

Session 3 ERSA (13:00 – 14:00) – Sam Rayburn / Security, real-time, and explainability
[13:00-13:20] MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems, Giann Nandi, David Pereira, José Proença, José Santos, Lourenço Rodrigues, André Lourenço and Eduardo Tovar

[13:20-13:40] Towards a Systematic Analysis of Timing Aspect of Safety-Security Interactions, Elena Troubitsyna
[13:40-14:00] Real-Time Byzantine Resilient Power Grid Infrastructure: Evaluation and Trade-offs, Sahiti Bommareddy, Maher Khan, David J Sebastian Cardenas, Carl Miller, Christopher Bonebrake, Yair Amir and Amy Babay

Related efforts + What is next? + Closure (14:00 – 15:00)

Coffee at 3:00 pm

Sessions 2 B  (13:00-17:00) Bluebonnet

Session 3 WMC (13:30 – 14:30) – Bluebonnet
Invited Talks
[13:30-13:50] A High-Resilience Imprecise Computing Architecture for Mixed- Criticality Systems, Zhe Jiang, Xiaotian Dai, Alan Burns, Neil Audsley and Ian Gray
[13:50-14:10] Computing the Execution Probability of Jobs with Replication in Mixed-Criticality Schedules, Antonin Novak, Zdenek Hanzalek and Premysl Sucha

[14:10-14:30] Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry, Zhe Jiang, Shuai Zhao, Ran Wei, Richard Parterson, Nan Guan and Neil Audsley

Closure of WMC (14:30-14:45)

Coffee at 3:00 pm

Diversity Reception (17:00-20:00): Plaza Ballroom

Day 2 (December 6th, 2022)

Registration (7:00-17:00): DoubleTree Registration Room

Breakfast (7:00 – 8:00) Greenway 2

Session 1 (8:00-9:00): Greenway Ballroom I

IEEE TCRTS Outstanding Technical Achievement and Leadership Award Speech
(Session Chair: Arvind Easwaran)

  • [8:00-8:05] Introduction from RTSS 2022 Chairs
  • [8:05-9:00] IEEE TCRTS Outstanding Technical Achievement and Leadership Award Speech by Chenyang Lu

Session 2 (9:00-9:45): Greenway Ballroom I

Real-Time in Edge & Space
(Session Chair: Christopher Gill)

  • [9:00-9:25] Edge-RT: OS Support for Controlled Latency in the Multi-Tenant, Real-Time Edge — Wenyuan Shao, Bite Ye, Huachuan Wang, Gabriel Parmer and Yuxin Ren (Outstanding Paper Award)
  • [9:25-9:45] (Virtual) Task Allocation for Real-time Earth Observation Service with LEO Satellites — Mingsong Lv, Xuemei Peng, Wenjing Xie and Nan Guan

Coffee Break (9:45-10:20): Greenway Foyer

Session 3 (10:20-11:50): Greenway Ballroom I

Processing Chains & Thread Pools
(Session Chair: Arpan Gujarati)

  • [10:20-10:40] (Virtual) Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2 — Xu Jiang, Dong Ji, Nan Guan, Ruoxiang Li, Yue Tang and Yi Wang
  • [10:40-11:00] (Virtual) Worst-Case Time Disparity Analysis of Message Synchronization in ROS — Ruoxiang Li, Nan Guan, Xu Jiang, Zhishan Guo, Zheng Dong and Mingsong Lv
  • [11:00-11:25] End-To-End Timing Analysis in ROS2 — Harun Teper, Mario Guenzel, Niklas Ueter, Georg von der Brüggen and Jian-Jia Chen
  • [11:25-11:50] A Theoretical Approach to Determine the Optimal Size of a Thread Pool for Real-Time Systems — Daniel Casini

Lunch (11:50-12:50): Greenway Ballroom II

Session 4 (12:50-14:45): Greenway Ballroom I

Parallel Scheduling
(Session Chair: Sanjoy Baruah)

  • [12:50-13:10] (Virtual) On Batching Task Scheduling — Hehuan Shi and Lin Chen 
  • [13:10-13:35] Response Time Analysis for Real-Time Global Gang Scheduling — Seongtae Lee, Seunghoon Lee and Jinkyu Lee
  • [13:35-14:00] A Utilization-based Test for Non-preemptive Gang Tasks on Multiprocessors — Zheng Dong and Cong Liu
  • [14:00-14:20] (Virtual) Multi-mode on Multi-core: Making the best of both worlds with Omni — Robert Gifford and Linh Thi Xuan Phan
  • [14:25-14:45] Design and Timing Guarantee for Non-Preemptive Gang Scheduling — Seongtae Lee, Nan Guan and Jinkyu Lee

Coffee Break (14:45-15:20): Greenway Foyer

Session 5 (15:20-17:00): Greenway Ballroom I

(Brief Presentations & RTSS@Demo)

Work-in-Progress (Security) [15:20 – 15:35]

  • Victim-Aware Scheduling for Robust Operations in Safety-Critical Systems — Dakai Zhu, Steven Drager, Matthew Anderson and Hakan Aydin
  • Control Skipping Sequence Synthesis to Counter Schedule-based Attacks — Sunandan Adhikary, Ipsita Koley, Srijeeta Maity and Soumyajit Dey
  • Measuring Security Protection in Real-time Embedded Firmware — Yuhao Wu, Yujie Wang, Shixuan Zhai, Zihan Li, Ao Li, Jinwen Wang and Ning Zhang

Work-in-Progress (Edge/cloud systems) [15:35 – 15:45]:

  • Real-Time On-board Processing for Cloud Detection in FACSAT-2 Multispectral Satellite Imagery — Javier E. Méndez Gómez and Albert M. K. Cheng
  • Deadline-Constrained Multi-Resource Allocation Problem in Edge-Cloud System — Chuanchao Gao and Arvind Easwaran

Work-in-Progress (Timing analysis and correctness) [15:45 – 16:00]:

  • Generalized Demand-Based Schedulability Test for Dual-Criticality Sporadic Task Model — Jiwoo Lee, Albert M. K. Cheng and Guangli Dai
  • A Holistic Approach to WCRT Analysis for Multicore Systems — Jatin Arora, Syed Aftab Rashid, Cláudio Maia, Geoffrey Nelissen and Eduardo Tovar
  • Optimal Checkpointing Strategy for Real-time Systems with Both Logical and Timing Correctness — Lin Zhang, Zifan Wang and Fanxin Kong

Work-in-Progress (Clocks and synchronization) [16:00 – 16:10]:

  • A Novel Clock Synchronization System for Large-Scale Clusters — Zhuochen Fan, Xiaodong Li, Yanwei Xu, Yuqing Li, Tong Yang and Steve Uhlig
  • Exploring the Composition of Synchronous Intelligent Intersections — Radha Reddy, Luís Almeida, Pedro Santos and Eduardo Tovar

Work-already-Published [16:10 – 16:30]:

  • Nancy, an Efficient Library for (Min, +) and (Max, +) Algebra — Raffaele Zippo and Giovanni Stea
  • HeRTA – Heaviside Real-Time Analysis — Frank Slomka and Mohammadreza Sadeghi
  • Correspondence Article: Counterexample for Suspension-aware Schedulability Analysis of EDF Scheduling; a Note on Slack Enforcement Mechanisms for Self-suspending Tasks — Mario Guenzel and Jian-Jia Chen
  • Analyzing Arm’s MPAM from the Perspective of Time Predictability — Matteo Zini, Daniel Casini and Alessandro Biondi

RTSS@Work [16:30 – 17:00]:

  • Demonstrating The MAAT Tool: Using Algebraic Process Models To Support Time-Sensitive Requirements Design — Boutheina Bannour, Arnault Lapitre, Patrick Tessier, and Guillaume Giraud
  • An Open-Source Power Monitoring Framework for Real-Time Energy-Aware GPU Scheduling Research — Mohsen Karimi, Yidi Wang and Hyoseung Kim
  • A Scheduling and Analysis Tool for Parallel Real-Time Applications on Multicore Platforms — Morteza Mohaqeqi, Gaoyang Dai, Behnam Khodabandeloo, Petros Voudouris and Wang Yi
  • Know your Enemy: Benchmarking and Experimenting with Insight as a Goal — Mattia Nicolella, Denis Hoornaert, Shahin Roozkhosh, Andrea Bastoni and Renato Mancuso
  • Hardware Data Re-organization Engine for Real-Time Systems — Shahin Roozkhosh, Denis Hoornaert and Renato Mancuso
  • Demonstrating R-TOD: Real-Time Object Detector with Minimized End-to-End Delay — Seungha Kim, Ho Kang, Sol Ahn, Kyungtae Kang, Nikil Dutt and Jong-Chan Kim
  • Real-Time Monitoring of Heart Rate Variability with PPG — Jingye Xu, Yuntong Zhang, Mimi Xie, Wei Wang and Dakai Zhu
  • Real-Time Out-of-Distribution Detection on a Mobile Robot — Michael Yuhas and Arvind Easwaran

Day 3 (December 7th, 2022)

Registration (7:00-17:00): DoubleTree Registration Room

Breakfast (7:00 – 8:00) Greenway 2

Session 6 (8:00-8:55): Greenway Ballroom I

IEEE TCCPS Technical Achievement Award Speech
(Session Chair: Sebastian Altmeyer)

  • [8:00-8:55] IEEE TCCPS Technical Achievement Award Speech: Misconceptions of Cyber Physical Systems and Future Real-Time Challenges — John A. Stankovic

Session 7 (8:55-9:45): Greenway Ballroom I

Probabilistic Analysis
(Session Chair: Liliana Cucu-Grosjean)

  • [8:55-9:20] Critical Instant for Probabilistic Timing Guarantees: Refuted and Revisited — Kuan-Hsun Chen, Mario Guenzel, Georg von der Brüggen and Jian-Jia Chen
  • [9:20-9:45] Analytical approximations in probabilistic analysis of real-time systems — Filip Markovic, Thomas Nolte and Alessandro Vittorio Papadopoulos

Coffee Break (9:45-10:15): Greenway Foyer

Session 8 (10:15-11:30): Greenway Ballroom I

Uniprocessor Scheduling
(Session Chair: Daniel Casini)

  • [10:15-10:40] EDF-Like Scheduling for Self-Suspending Real-Time Tasks — Mario Guenzel, Georg von der Brüggen, Kuan-Hsun Chen and Jian-Jia Chen
  • [10:40-11:05] Fixed-Parameter Analysis of Preemptive Uniprocessor Scheduling Problems — Sanjoy Baruah, Pontus Ekberg and Abhishek Singh
  • [11:05-11:30] From Intuition to Coq: A Case Study in Verified Response-Time Analysis of FIFO Scheduling — Kimaya Bedarkar, Mariam Vardishvili, Sergey Bozhko, Marco Maida and Björn Brandenburg

Lunch (11:30-12:30): Greenway Ballroom II

Session 9 (12:30-14:35): Greenway Ballroom I

Fault Tolerance & Security
(Session Chair: Sathish Gopalakrishnan)

  • [12:30-12:55] In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again! — Arpan Gujarati, Ningfeng Yang and Björn Brandenburg (Outstanding Paper Award)
  • [12:55-13:20] PolyRhythm: Adaptive Tuning of a Multi-Channel Attack Template for Timing Interference — Ao Li, Marion Sudvarg, Han Liu, Zhiyuan Yu, Chris Gill and Ning Zhang
  • [13:20-13:45] Fail-Safe: Securing Cyber-Physical Systems against Hidden Sensor Attacks — Mengyu Liu, Lin Zhang, Pengyuan Lu, Kaustubh Sridhar, Fanxin Kong, Oleg Sokolsky and Insup Lee
  • [13:45-14:10] Context-based Latency Guarantees Considering Channel Degradation in 5G Network Slicing — Andrea Nota, Selma Saidi, Dennis Overbeck, Fabian Kurtz and Christian Wietfeld
  • [14:10-14:30] (Virtual) Improved Results for Guaranteeing Safety Despite Physical Errors in CPS’s — Jongwoo Han, Chang-Gun Lee and Sanjoy Baruah

Coffee Break (14:30-14:40): Greenway Foyer

Session 10 (14:40-16:15): Greenway Ballroom I

(Industry Session)

Industry Challenge [14:40 – 15:20]:

  • MAUAVE: A model based monitoring system for UAV with sensor imperfections — Swagata Biswas and Himadri Sekhar Paul
  • Optimization in Heterogeneous Distributed Real-Time Systems based on Partitioning — Andoni Amurrio, J. Javier Gutiérrez, Mario Aldea and Ekain Azketa
  • Hardware implement gain-based multi-core heterogeneous scheduling algorithm — Chen Xinyu
  • Optimizing Real-Time Performances for Timed-Loop Racing under F1TENTH — Nitish Gupta, Kurt Wilson, and Zhishan Guo
  • Biologically Inspired Task Prioritization in Computer Vision Systems — Jeremy Robert Easton-Marks, Huda Alghamdi, Adnane Gdihi and Albert Cheng

Industry Panel [15:20 – 16:15]:

The Industry Panel brings together key actors in industry, government and academia.

Topic: Autonomy in Space.

Panelists: 

* Slim Ben Amor, StatInf

* Saptarshi Bandhyopadhyay, JPL NASA

* Matthew Benson, Windhover Labs,

* Damian Valles Molina, Texas State University

IEEE TCRTS Meeting (16:15-17:15): Greenway Ballroom I

Banquet (17:30-20:00): Greenway Ballroom II

Day 4 (December 8th, 2022)

Registration (7:00-17:00): Foyer 1/2/3

Breakfast (7:00 – 8:00) Greenway 2

Session 11 (8:00-10:00): Greenway Ballroom I

Machine Learning & Real-Time Predictability
(Session Chair: Bjorn Andersson)

  • [8:00-8:25] Jellyfish: Timely Inference Serving for Dynamic Edge Networks — Vinod Nigade, Pablo Bauszat, Henri Bal and Lin Wang (Outstanding Paper Award)
  • [8:25-8:50] Demand Layering for Real-Time DNN Inference with Minimized Memory Usage — Mingoo Ji, Saehanseul Yi, Changjin Koo, Sol Ahn, Dongjoo Seo, Nikil Dutt and Jong-Chan Kim 
  • [8:50-9:15] Prophet: Realizing a Predictable Real-time Perception Pipeline for Autonomous Vehicles — Liangkai Liu, Zheng Dong, Yanzhi Wang and Weisong Shi
  • [9:15-9:35] (Virtual) RT-MOT: Confidence-Aware Real-Time Scheduling Framework for Multi-Object Tracking Tasks — Donghwa Kang, Seunghoon Lee, Hoon Sung Chwa, Seung-Hwan Bae, Chang Mook Kang, Jinkyu Lee and Hyeongboo Baek
  • [9:35-10:00] Real-Time Scheduling with Predictions — Tianming Zhao, Wei Li and Albert Y. Zomaya

Coffee Break (10:00-10:35): Greenway Foyer

Session 12 (10:35-12:35): Greenway Ballroom I

Beyond CPUs
(Session Chair: Gabriel Parmer)

  • [10:35-10:55] (Virtual) Latency-driven Optimization of Switching Pipeline Design in Network Chips — Jiale Chen, Xiaoqiang Wu, Debayan Roy, Hui Chen, Ping Xiang, Wenzhuo Zhang, Yuhong Feng and Wanli Chang
  • [10:55-11:20] CAESAR: Coherence-Aided Elective and Seamless Alternative Routing via on-chip FPGA — Shahin Roozkhosh, Denis Hoornaert and Renato Mancuso
  • [11:20-11:45] Enabling GPU Memory Oversubscription via Transparent Paging to an NVMe SSD — Joshua Bakita and James H. Anderson
  • [11:45-12:05] (Virtual) Making Powerful Enemies on NVIDIA GPUs — Tyler Yandrofski, Jingyuan Chen, Nathan Otterness, James H. Anderson and F. Donelson Smith
  • [12:05-12:30] Future aware Dynamic Thermal Management in CPU-GPU Embedded Platforms — Srijeeta Maity, Rudrajyoti Roy, Anirban Majumder, Soumyajit Dey and Ashish Hota

Lunch (12:30-13:40): Greenway Ballroom II

Session 13 (13:40-14:55): Greenway Ballroom I

Energy Management
(Session Chair: Jian-Jia Chen)

  • [13:40-14:05]  Towards Energy-Efficient Real-Time Scheduling of Heterogeneous Multi-GPU Systems — Yidi Wang, Mohsen Karimi and Hyoseung Kim
  • [14:05-14:30] Job Scheduling with Battery Recharging Constraints: Applications to UAV Flight Planning — Sathish Gopalakrishnan, Nima Nasiri and Jared Paul
  • [14:30-14:55] Mixed-Criticality Scheduling of Energy-Harvesting Systems — Kankan Wang and Qingxu Deng

Short Break (14:55-15:10): 

Session 14 (15:10-16:15): Greenway Ballroom I

DAG Scheduling
(Session Chair: Renato Mancuso)

  • [15:10-15:35] Exact Response-Time Bounds of Periodic DAG Tasks under Server-Based Global Scheduling — Shareef Ahmed and James H. Anderson
  • [15:35-15:55] (Virtual) Response Time Analysis for Prioritized DAG Task with Mutually Exclusive Vertices — Ran Bi, Qingqiang He, Jinghao Sun, Zhenyu Sun, Zhishan Guo, Nan Guan and Guozhen Tan
  • [15:55-16:15] (Virtual) Bounding the Response Time of DAG Tasks Using Long Paths— Qingqiang He, Nan Guan, Mingsong Lv, Xu Jiang and Wanli Chang (Outstanding Paper Award)