Table of Contents

• Practical Principle of Least Privilege for Secure Embedded SystemsSamuel Jero, Juliana Furgala, Runyu Pan, Phani Kishore Gadepalli, Alexandra Clifford, Bite Ye, Roger Khazan, Bryan C. Ward, Gabriel Parmer, Richard Skowyra. 1-13 [doi]
• SchedGuard: Protecting against Schedule Leaks Using Linux ContainersJiyang Chen, Tomasz Kloda, Ayoosh Bansal, Rohan Tabish, Chien-Ying Chen, Bo Liu, Sibin Mohan, Marco Caccamo, Lui Sha. 14-26 [doi]
• No Crash, No Exploit: Automated Verification of Embedded KernelsOlivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival. 27-39 [doi]
• Timing Analysis of Asynchronized Distributed Cause-Effect ChainsMario Günzel, Kuan-Hsun Chen, Niklas Ueter, Georg von der Brüggen, Marco Dürr, Jian-Jia Chen. 40-52 [doi]
• Event-Driven Delay-Induced Tasks: Model, Analysis, and ApplicationsFederico Aromolo, Alessandro Biondi, Geoffrey Nelissen, Giorgio Buttazzo. 53-65 [doi]
• Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and OverheadsTobias Klaus, Matthias Becker, Wolfgang Schröder-Preikschat, Peter Ulbrich. 66-79 [doi]
• Insert & Save: Energy Optimization in IP Core Integration for FPGA-based Real-time SystemsMartin Geier, Marian Brändle, Samarjit Chakraborty. 80-91 [doi]
• A Hardware Platform for Exploring Predictable Cache Coherence Protocols for Real-time MulticoresZhuanhao Wu, Anirudh Mohan Kaushik, Paulos Tegegn, Hiren D. Patel. 92-104 [doi]
• A Systematic Approach to Achieving Tight Worst-Case Latency and High-Performance Under Predictable Cache CoherenceAnirudh Mohan Kaushik, Hiren D. Patel. 105-117 [doi]
• ML for RT: Priority Assignment Using Machine LearningSeunghoon Lee, Hyeongboo Baek, Honguk Woo, Kang G. Shin, Jinkyu Lee 0001. 118-130 [doi]
• Developing Real-Time Scheduling Policy by Deep Reinforcement LearningZitong Bo, Ying Qiao, Chang Leng, Hongan Wang, Chaoping Guo, Shaohui Zhang. 131-142 [doi]
• Budget RNNs: Multi-Capacity Neural Networks to Improve In-Sensor Inference Under Energy BudgetsTejas Kannan, Henry Hoffmann. 143-156 [doi]
• Tightening Network Calculus Delay Bounds by Predicting Flow Prolongations in the FIFO AnalysisFabien Geyer, Alexander Scheffler, Steffen Bondorf. 157-170 [doi]
• Deficit Round-Robin: A Second Network Calculus AnalysisSeyed Mohammadhossein Tabatabaee, Jean-Yves Le Boudec. 171-183 [doi]
• ASIL-Decomposition Based Routing and Scheduling in Safety-Critical Time-Sensitive NetworkingYuanbin Zhou, Soheil Samii, Petru Eles, Zebo Peng. 184-195 [doi]
• DNA: Dynamic Resource Allocation for Soft Real-Time Multicore SystemsRobert Gifford, Neeraj Gandhi, Linh Thi Xuan Phan, Andreas Haeberlen. 196-209 [doi]
• Effectively Scheduling Hard and Soft Real-Time Tasks on MultiprocessorsFlávia Maristela Santos Nascimento, George Lima. 210-222 [doi]
• OpenUVR: an Open-Source System Framework for Untethered Virtual Reality ApplicationsAlec Rohloff, Zackary Allen, Kung-Min Lin, Joshua Okrend, Chengyi Nie, Yu-Chia Liu, Hung-Wei Tseng 0001. 223-236 [doi]
• Real-Time Adaptive Sensor Attack Detection in Autonomous Cyber-Physical SystemsFrancis Akowuah, Fanxin Kong. 237-250 [doi]
• PiCAS: New Design of Priority-Driven Chain-Aware Scheduling for ROS2Hyunjong Choi, Yecheng Xiang, Hyoseung Kim. 251-263 [doi]
• Automatic Latency Management for ROS 2: Benefits, Challenges, and Open ProblemsTobias Blaß, Arne Hamann, Ralph Lange, Dirk Ziegenbein, Björn B. Brandenburg. 264-277 [doi]
• Simultaneous Multithreading in Mixed-Criticality Real-Time SystemsJoshua Bakita, Shareef Ahmed, Sims Hill Osborne, Stephen Tang, Jingyuan Chen, F. Donelson Smith, James H. Anderson. 278-291 [doi]
• Safety-Aware Integration of Hardware-Assisted Program Tracing in Mixed-Criticality Systems for Security MonitoringMarine Kadar, Gerhard Fohler, Don Kuzhiyelil, Philipp Gorski. 292-305 [doi]
• Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time SystemsDaniel Casini, Alessandro Biondi, Giorgiomaria Cicero, Giorgio Buttazzo. 306-319 [doi]
• APaS: An Adaptive Partition-Based Scheduling Framework for 6TiSCH NetworksJiachen Wang, Tianyu Zhang, Dawei Shen, Xiaobo Sharon Hu, Song Han 0002. 320-332 [doi]
• Low-Latency In-Band Integration of Multiple Low-Power Wide-Area NetworksVenkata P. Modekurthy, Dali Ismail, Mahbubur Rahman, Abusayeed Saifullah. 333-346 [doi]
• Towards a Real-Time Wireless Powered Communication Network: Design, Implementation and EvaluationZelin Yun, Song Han 0002. 347-359 [doi]
• IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager ExecutionAndrew D. Loveless, Ronald G. Dreslinski, Baris Kasikci, Linh Thi Xuan Phan. 360-373 [doi]
• Do Not Overpay for Fault Tolerance!Edo Roth, Andreas Haeberlen. 374-386 [doi]
• Fault-Tolerant Mapping of Real-Time Parallel Applications under multiple DVFS schemesMinyu Cui, Angeliki Kritikakou, Lei Mo, Emmanuel Casseau. 387-399 [doi]
• ARA: Static Initialization of Dynamically-Created System ObjectsBjörn Fiedler, Gerion Entrup, Christian Dietrich 0001, Daniel Lohmann. 400-412 [doi]
• Brief Industry Paper: The Matter of Time - A General and Efficient System for Precise Sensor Synchronization in Robotic ComputingShaoshan Liu, Bo Yu, Yahui Liu, Kunai Zhang, Yisong Qiao, Thomas Yuang Li, Jie Tang 0003, Yuhao Zhu 0001. 413-416 [doi]
• Brief Industry Paper: Workload-Aware GPU Performance Estimation in the Airborne Embedded SystemYuan Yao, Sikai Wu, Shuangyang Liu, Qingshuang Sun, Gang Yang 0008, Yujiao Hu, Yu Zhang, Huixia Liu, Xinyu Tian. 417-420 [doi]
• Brief Industry Paper: An Infrastructure-Aided High Definition Map Data Provisioning Service for Autonomous DrivingJinliang Xie, Jie Tang 0003, Yanzhi Wang, Qi Zhu, Shaoshan Liu. 421-424 [doi]
• Brief Industry Paper: Towards Real-Time 3D Object Detection for Autonomous Vehicles with Pruning SearchPu Zhao, Wei Niu, Geng Yuan, Yuxuan Cai, Hsin-Hsuan Sung, Shaoshan Liu, Sijia Liu 0001, Xipeng Shen, Bin Ren, Yanzhi Wang, Xue Lin. 425-428 [doi]
• Brief Industry Paper: An Energy-Reduction On-Chip Memory Management for Intermittent SystemsYu-Pei Liang, Yu-Ting Fang, Shuo-Han Chen, Yen-Ting Chen, Tseng-Yi Chen, Wei-Lin Wang, Wei Kuan Shih, Yuan-Hao Chang 0001. 429-432 [doi]
• Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoTYiwen Xu, Yu Jiang 0001, Lu Yu, Juan Li. 433-436 [doi]
• RT: Towards a Real-Time AXI-Interconnect for System-on-ChipsZhe Jiang 0004, Neil C. Audsley, Dayu Shill, Kecheng Yang 0001, Nathan Fisher, Zheng Dong 0002. 437-440 [doi]
• Brief Industry Paper: A Model-based Framework and Tool Support for Capturing System Verification StrategyMole Li, Alan Grigg. 441-444 [doi]
• Brief Industry Paper: optimizing Memory Efficiency of Graph Neural Networks on Edge Computing PlatformsAo Zhou, Jianlei Yang 0001, Yeqi Gao, Tong Qiao, Yingjie Qi, Xiaoyi Wang, Yunli Chen, Pengcheng Dai, Weisheng Zhao, Chunming Hu. 445-448 [doi]
• Brief Industry Paper: SylixOS: A Secure and Compatible RTOS with Constant Scheduling on SMPYuanhai Zhang, Hui Han, Jinxing Jiao, Guizhou Xu, Gang Chen, Kai Huang. 449-452 [doi]
• Brief Industry Paper: An Edge-Based High-Definition Map Crowdsourcing Task Distribution Framework for Autonomous DrivingDonghua Li, Jie Tang 0003, Shaoshan Liu. 453-456 [doi]
• Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars LanderBohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue 0001, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan. 457-460 [doi]
• Brief Industry Paper: HDAD: Hyperdimensional Computing-based Anomaly Detection for Automotive Sensor AttacksRuixuan Wang, Fanxin Kong, Hasshi Sudler, Xun Jiao. 461-464 [doi]
• Brief Industry Paper: Tenma: A Real-time LibOS Developed for Industry Embedded SystemsZhihui Gao, Hui Chen, Wei Ren, Jianhui Huang, Lei Dai, Zichang Lin. 465-468 [doi]
• Brief Industry Paper: LiteOS: Managing Sleep for Low-energy IoTChuancai Gu, Tao Yang, Qiulin Chen. 469-472 [doi]
• Brief Industry Paper: AutoToolCSU: CAN Signal Unpacking Tool for Automotive SoftwareGuoqi Xie, Pingfu Xie, Bo He, Fengnan Huang, Renfa Li. 473-476 [doi]
• Brief Industry Paper: Dissecting the QNX Adaptive Partitioning SchedulerDakshina Dasari, Arne Hamann, Holger Broede, Michael Pressler, Dirk Ziegenbein. 477-480 [doi]
• Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems - Requirements and Open ChallengesXiaotian Dai 0001, Shuai Zhao 0004, Iain Bate, Alan Burns, Xing Guo, Wanli Chang 0001. 481-484 [doi]
• Work in Progress: Network Attack Detection Towards Smart FactoryDan Tang, Dongshuo Zhang, Huan Zhao, Dashun Liu, Yudong Yan, Jingwen Chen. 485-488 [doi]
• Work in Progress: Role-based Deep Reinforcement Learning with Information Sharing for Intelligent Unmanned SystemsQingshuang Sun, Yuan Yao, Peng Yi, Xingshe Zhou 0001, Gang Yang 0008. 489-492 [doi]
• Work in Progress: Mobile or FPGA? A Comprehensive Evaluation on Energy Efficiency and a Unified Optimization FrameworkGeng Yuan, Peiyan Dong, Mengshu Sun, Wei Niu, Zhengang Li, Yuxuan Cai, Jun Liu, Weiwen Jiang, Xue Lin, Bin Ren, Xulong Tang, Yanzhi Wang. 493-496 [doi]
• Work in Progress: Path-based Graph Partition for Parallel Hardware-accelerated Functional VerificationPeiying Lin, Kenli Li 0001, Zheng Xiao, Cen Chen, Siyang Yu. 497-500 [doi]
• Work in Progress: Topology-based Multilevel Algorithm for Large-scale Task Scheduling in CloudsMinjia Li, Yikun Hu, Cen Chen, Zheng Xiao, Chubo Liu, Kenli Li 0001. 501-504 [doi]
• Work-In-Progress: Fault Tolerance in a Two-State Regularity-Based Checkpointing SystemElena Torre, Albert M. K. Cheng, Guangli Dai, Pavan Kumar Paluri. 505-508 [doi]
• Work in Progress: Power-aware Scheduling Strategy for Multiple DAGs in the Heterogeneous CloudHui Zhao, Shangshu Li, Quan Wang, Jing Wang. 509-512 [doi]
• Work in Progress: Heart Disease Detection Methodology using E-StethoscopeSayeda Farzana Aktar, Stefan Andrei, Albert M. K. Cheng. 513-516 [doi]
• Work in Progress: Identifying Unexpected Inter-core Interference Induced by Shared CacheDenis Hoornaert, Shahin Roozkhosh, Renato Mancuso 0001, Marco Caccamo. 517-520 [doi]
• Demo Abstract: A Full-Blown 6TiSCH Network with Partition-based Resource Management for Large-Scale Real-Time Wireless ApplicationsJiachen Wang, Tianyu Zhang, Song Han 0002, Xiaobo Sharon Hu. 521-522 [doi]
• Demo Abstract: RT-WPCN: A Multi-hop Real-time Wireless Powered Communication NetworkZelin Yun, Song Han 0002. 523-524 [doi]