IEEE RTCSA 2020 Technical Program

Paper full texts are available for the personal use of RTCSA 2020 conference registrands. Please check your email for credentials to access this page.

Opening Session

Welcome Presentation , RTCSA 2020 Chairs
Video

Keynote I: The verified seL4 microkernel – a high-assurance foundation for mixed-criticality systems.
Gernot Heiser, Scientia Professor and John Lions Chair of Operating Systems, UNSW Sydney, Chief Research Scientist, CSIRO’s Data61
Video, Slack Channel

Keynote II: Heterogeneous Computing in Embedded Systems: Promises, Progress, Pitfalls.
Tulika Mitra, Provost's Chair Professor of Computer Science at School of Computing, National University of Singapore (NUS)
Video, Slack Channel

Session 1: Processor Scheduling I

Session Chair: Georg von der Brüggen

Efficient Deterministic Federated Scheduling for Parallel Real-Time Tasks Best Paper Candidate
Son Dinh, Christopher Gill and Kunal Agrawal (Washington University)
PDF, Video, Slack Channel

Exploiting Simultaneous Multithreading in Priority-Driven Hard Real-Time Systems Best Paper Candidate
Sims Osborne, Shareef Ahmed, Saujas Nandi and James Anderson (University of North Carolina at Chapel Hill)
PDF, Video, Slack Channel

A Soft-Real-Time Optimal Semi-Clustered Scheduler with a Constant Tardiness Bound
Shareef Ahmed and James H. Anderson (University of North Carolina at Chapel Hill)
PDF, Video, Slack Channel

Session 2: Processor Scheduling II

Session Chair: Zhishan Guo

Preemption-Aware Allocation, Deadline Assignment for Conditional DAGs on Partitioned EDF
Zahaf Houssam Eddine (Lille University and Unimore University), Giuseppe Lipari (Lille University), Smail Niar (UPHF University), and Abou Elhassen Benyamina (Oran 1 University)
PDF, Video, Slack Channel

Integrating Preemption Thresholds with Limited Preemption Scheduling
John Cavicchio and Nathan Fisher (Wayne State University)
PDF, Video, Slack Channel

Cyclic Scheduling of Loop-Intensive Applications on Heterogeneous Multiprocessor Architectures
Philippe Glanon, Selma Azaiez and Chokri Mraidha (CEA)
PDF, Video, Slack Channel

Session 3: Automotive Applications

Session Chair: Selma Saidi

AutoSec: Multidimensional Timing-Based Anomaly Detection for Automotive Cybersecurity
Milan Tepic and Mohamed Abdelaal (University of Stuttgart), Marc Weber (Vector Informatik GmbH), and Kurt Rothermel (University of Stuttgart)
PDF, Video, Slack Channel

Fault-tolerance Support for Adaptive AUTOSAR Platforms using SOME/IP
Anand Bhat (Carnegie Mellon University), Soheil Samii (General Motors R&D and Link¨oping University) and Raj Rajkumar (Carnegie Mellon University)
PDF, Video, Slack Channel

Introducing a Deferrable Server into AUTOSAR
Jorge Martinez and Ignacio Sañudo Olmedo (University of Modena and Reggio Emilia)
PDF, Video, Slack Channel

Session 4: CPS and Emerging Applications

Session Chair: Alessandro Papadopoulos

A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems
Mohammed Foughali (Université Grenoble Alpes)
PDF, Video, Slack Channel

Local Spatio-Temporal Propagation Based Adaptive Model Generation and Update for High Frame Rate and Ultra-Low Delay Foreground Detection
Peikun Cai (Waseda University), Songlin Du (Southeast University), and Takeshi Ikenaga (Waseda University)
PDF, Video, Slack Channel

A Coordinated Spillback-Aware Traffic Optimization and Recovery at Multiple Intersections
Pratham Oza and Tam Chantem (Virginia Tech), and Pamela Murray-Tuite (Clemson University)
PDF, Video, Slack Channel

Session 5: Memory/Cache Predictability and Execution Time Analysis

Session Chair: Liliana Cucu-Grosjean

Bounding Cache Persistence Reload Overheads for Set-Associative Caches Best Paper Candidate
Syed Aftab Rashid (Polytechnic Institute of Porto), Geoffrey Nelissen (Technische Universiteit Eindhoven), and Eduardo Tovar (Polytechnic Institute of Porto)
PDF, Video, Slack Channel

Contending memory in heterogeneous SoCs: Evolution in NVIDIA Tegra embedded platforms
Nicola Capodieci, Roberto Cavicchioli, Ignacio Sañudo Olmedo, Marco Solieri and Marko Bertogna (University of Modena and Reggio Emilia)
PDF, Video, Slack Channel

Identification and Validation of Markov Models with Continuous Emission Distributions for Execution Times
Anna Friebe, Alessandro V. Papadopoulos and Thomas Nolte (M¨alardalen University)
PDF, Video, Slack Channel

Session 6: Real-Time Deep Learning

Session Chair: Amir Aminifar

Scheduling Real-time Deep Learning Services as Imprecise Computations
Shuochao Yao (University of Illinois at Urbana-Champaign), Yifan Hao (VMware), Yiran Zhao (Pinteres), Huajie Shao, Dongxin Liu, Shengzhong Liu, Tianshi Wang, Jinyang Li and Tarek Abdelzaher (University of Illinois at Urbana-Champaign)
PDF, Video, Slack Channel

Error Vulnerabilities and Fault Recovery in Deep-Learning Frameworks for Hardware Accelerators
Iljoo Baek, Zhihao Zhu, Sourav Panda and Nandha Kishore Srinivasan (Carnegie Mellon University), Soheil Samii (General Motors R&D and Link¨oping University), and Raj Rajkumar (Carnegie Mellon University)
PDF, Video, Slack Channel

Session 7: Networking

Session Chair: Lucia Seno

Simultaneous Progressing Switching Protocols for Timing Predictable Real-Time Network-on-Chips
Niklas Ueter, Jian-Jia Chen and Georg von der Brüggen (TU Dortmund University), Vanchinathan Venkataramani and Tulika Mitra (National University of Singapore)
PDF, Video, Slack Channel

ILP-Based Routing and Scheduling of Multicast Realtime Traffic in Time-Sensitive Networks
Eike Schweissguth, Helge Parzyjegla, Peter Danielis, Gero Muehl and Dirk Timmermann (University of Rostock)
PDF, Video, Slack Channel

Student Papers

Session Chair: Jaewoo Lee

Student Session: Power-Saving Integrated Task Scheduling in Multicore and Hybrid Memory Environments
Yewon Jo, Suhyeon Yoo and Hyokyung Bahn (Ewha Womans University)
PDF, Video, Slack Channel

Student Session: Comparative Analysis of Live VM Migration with SGX Enclave
Seunggyun Lee, Hocheol Nam, Jaewon Park and Seehwan Yoo (Dankook University)
PDF, Video, Slack Channel

Student Session: Data distribution on a multi-GPU node for TomoBayes CT reconstruction
Mohammed Chghaf and Nicolas Gac (Universit´e Paris-Saclay)
PDF, Video, Slack Channel

Student Session: Turning Over Detecting Using Super-Resolution Thermal Image
Jyunjhe Chou and Chi-Sheng Daniel Shih (National Taiwan University)
PDF, Video, Slack Channel

Student Session: Practical Insights on Acceleration for 3D Lidar Data Processing
Iljoo Baek, Kamal Fuseini and Raj Rajkumar (Carnegie Mellon University)
PDF, Video, Slack Channel