Preliminary Program


Tuesday: Hot Topics Day

8:00 – Registration Opens

8:40 – 10:20 – Session 1

1st Workshop on Industrial Internet of Things (IIoT 2019)

7th International Workshop on Mixed Criticality Systems
(WMC 2019)

Tutorial: Formal Analysis, Verification and Design of Safety-Critical CPS

10:20 – 10:50 – Break

10:50 – 12:30 – Session 2

1st Workshop on Industrial Internet of Things (IIoT 2019)

7th International Workshop on Mixed Criticality Systems
(WMC 2019)

Tutorial: Formal Analysis, Verification and Design of Safety-Critical CPS

12:30 – 14:00 – Lunch Break

14:00 – 15:40 – Session 3

1st Workshop on Industrial Internet of Things (IIoT 2019)

7th International Workshop on Mixed Criticality Systems
(WMC 2019)

Tutorial: Formal Analysis, Verification and Design of Safety-Critical CPS

15:40 – 16:10 – Break

16:10 – 17:50 – Session 4

Special Session: Deep Neural Network Acceleration: From Training To Inference

Special Session: Multiscale Real-Time Energy Engineering

Special Session: Urban Mobility with Smart Infrastructure

18:00 – Reception


Wednesday: Conference Day 1

8:00 – Registration Opens

8:40 – 9:00 – Opening Remarks

9:00 – 9:30 – Award Speech

Designed for Update
Wang Yi

9:30 – 10:20 – Session 1: Energy-Aware Design

Integrated Energy Control for Hard Real-time Networks-on-Chip
Thawra Kadeed, Sebastian Tobuschat and Rolf Ernst

Improved energy-aware strategies for periodic real-time tasks under reliability constraints
Li Han, Louis-Claude Canon, Jing Liu, Yves Robert and Frederic Vivien

10:20 – 10:50 – Break

10:50 – 12:30 – Session 2: Real-Time Scheduling: a different view

Predicting Latency Distributions of Aperiodic Time-Critical Services
Haoran Li, Chenyang Lu and Chris Gill

Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept
Piotr Dziurzanski, Robert Davis and Leandro Indrusiak

K2: Work-Constraining Scheduling of NVMe-Attached Storage
Till Miemietz, Hannes Weisbach, Michael Roitzsch and Hermann Härtig

RT.js: Practical Real-Time Scheduling for Web Applications
Christian Dietrich, Stefan Naumann, Robin Thrift and Daniel Lohmann

12:30 – 14:00 – Lunch Break

14:00 – 15:40 – Session 3: Real-Time Techniques for Security and QoS in CPS

Securing Time in Untrusted Operating Systems with TimeSeal
Fatima M. Anwar, Luis Garcia, Xi Han and Mani Srivastava

Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles and Zebo Peng

ADMM-Based Decentralized Electric Vehicle Charging with Trip Duration Limits
Gaoqi He, Zhifu Chai, Xingjian Lu, Fanxin Kong and Bing Sheng

Optimal Scheduling for Active Cell Balancing
Debayan Roy, Swaminathan Narayanaswamy, Alma Proebstl and Samarjit Chakraborty

15:40 – 16:10 – Break

16:10 – 17:50 – RTSS@Work and Brief Presentations

List of Demos

List of Brief Presentations

18:00 – Demos and Posters


Thursday: Conference Day 2

8:00 – Registration Opens

8:40 – 10:20 – Session 4: Timing and Schedulability Analysis

Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation
Mickaël Dardaillon, Stefanos Skalistis, Isabelle Puaut and Steven Derrien

Hiding DRAM Refresh Overhead in Real-Time Cyclic Executives
Xing Pan and Frank Mueller

Thermal-Aware Schedulability Analysis for Fixed-Priority Non-Preemptive Real-Time Systems
Javier Pérez Rodríguez and Patrick Meumeu Yomsi

From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C
Saranya Natarajan, Mitra Nasri, David Broman, Björn Brandenburg and Geoffrey Nelissen

10:20 – 10:50 – Break

10:50 – 12:30 – Session 5: Mapping and Scheduling in Multicore AND Manycore Systems

An Efficient Utilization-based Test for Scheduling Hard Real-Time Sporadic DAG Task Systems on Multiprocessors
Zheng Dong and Cong Liu

Conditionally Optimal Task Parallelization for Global EDF on Multi-core Systems
Youngeun Cho, Do Hyung Kim, Daechul Park, Seung Su Lee and Chang-Gun Lee

Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time
Paolo Pazzaglia, Alessandro Biondi and Marco Di Natale

Thermally Composable Hybrid Application Mapping for Real-Time Applications in Heterogeneous Many-Core Systems
Behnaz Pourmohseni, Fedor Smirnov, Heba Khdr, Stefan Wildermann, Jürgen Teich and Joerg Henkel

12:30 – 14:00 – Lunch Break

14:00 – 15:40 – Session 6: Analysis and Management of Shared Resources

Timely fine-grained interference-sensitive run-time adaptation of time-triggered schedules
Stefanos Skalistis and Angeliki Kritikakou

Improving Prediction Accuracy of Memory Interferences for Multicore Platforms
Cédric Courtaud, Julien Sopena, Gilles Muller and Daniel Gracia Pérez

Segment Streaming for the Three-Phase Execution Model: Design and Implementation
Muhammad R. Soliman, Giovani Gracioli, Rohan Tabish, Rodolfo Pellizzoni and Marco Caccamo

Suspension-Based Locking Protocols for Parallel Real-Time Tasks
Xu Jiang, Nan Guan, Yue Tang, Weichen Liu and Hancong Duan

15:40 – 16:10 – Break

16:10 – 17:00 – Session 7: Management of Time-Sensitive Networks

Adaptive Real-Time Routing in Polynomial Time
Kunal Agrawal and Sanjoy Baruah

On Cyclic Dependencies and Regulators in Time-Sensitive Networks
Ludovic Thomas, Jean-Yves Le Boudec and Ahlem Mifdaoui

17:00 – 17:45 – TCRTS Meeting

20:00 – Banquet


Friday: Conference Day 3

8:00 – Registration Opens

8:40 – 10:20 – Session 8: New Theory, Better Practice

OpenVX and Real-Time Certification: The Troublesome History
Tanya Amert, Sergey Voronov and Jim Anderson

MCS-IOV: Real-time I/O Virtualization System for Mixed-Criticality Systems
Zhe Jiang, Neil Audsley, Pan Dong, Nan Guan, Xiaotian Dai and Lifeng Wei

Predictable Data-driven Resource Management: an Implementation using Autoware on Autonomous Platforms
Soroush Bateni and Cong Liu

Battery Aging Deceleration for Power-Consuming Real-Time Systems
Jaeheon Kwak, Kilho Lee, Taehee Kim, Jinkyu Lee and Insik Shin

10:20 – 10:50 – Break

10:50 – 12:30 – Session 9: From Real-Time Learning to Inference at Edge

EdgeBatch: Towards AI-empowered Optimal Task Batching in Intelligent Edge Systems
Daniel (Yue) Zhang, Nathan Vance, Yang Zhang, Md Tahmid Rashid and Dong Wang

Cost-Aware Edge Resource Probing for Infrastructure-Free Edge Computing: From Optimal Stopping to Layered Learning
Tao Ouyang, Xu Chen, LieKang Zeng and Zhi Zhou

Pipelined Data-Parallel CPU/GPU Scheduling for Multi-DNN Real-Time Inference
Yecheng Xiang and Hyoseung Kim

SmartPC: Hierarchical Pace Control in Real-Time Federated Learning System
Li Li, Haoyi Xiong, Zhishan Guo, Jun Wang and Chengzhong Xu

12:30 – 14:00 – Lunch Break

14:00 – 15:40 – Session 10: Theory and Practice in Handling Mixed Criticality

CARP: A Data Communication Mechanism for Multi-Core Mixed-Criticality Systems
Anirudh Kaushik, Paulos Tegegn, Zhuanhao Wu and Hiren Patel

Enabling Predictable, Simultaneous and Coherent Data Sharing in Mixed Criticality Systems
Nivedita Sritharan, Anirudh M. Kaushik, Mohamed Hassan and Hiren Patel

Necessary Feasibility Analysis for Mixed-Criticality Task Systems on Uniprocessor
Hoon Sung Chwa, Hyeongboo Baek and Jinkyu Lee

Semi-Clairvoyance in Mixed-Criticality Scheduling
Kunal Agrawal, Sanjoy Baruah and Alan Burns

15:40 – 16:10 – Break

16:10 – 17:25 – Session 11: Outstanding Papers

Mixed-Criticality Multicore Scheduling of Real-Time Gang Task Systems
Ashik Ahmed Bhuiyan, Kecheng Yang, Samsil Arefin, Abusayeed Saifullah, Nan Guan and Zhishan Guo

Cache Persistence Analysis: Finally Exact
Gregory Stock, Sebastian Hahn and Jan Reineke

Online Reconfiguration of Regularity-based Resource Partitions in Cyber-Physical Systems
Wei-Ju Chen, Peng Wu, Pei-Chi Huang, Al Mok and Song Han

17:20 – 17:45 – Closing Remarks

IEEE Computer Society Open Conference Statement

IEEE Event Conduct and Safety Statement