Table of Contents

• Abstract PRET MachinesEdward A. Lee, Jan Reineke, Michael Zimmer. 1-11 [doi]
• An Exact and Sustainable Analysis of Non-preemptive SchedulingMitra Nasri, Björn B. Brandenburg. 12-23 [doi]
• Sustainability in Mixed-Criticality SchedulingZhishan Guo, Sai Sruti, Bryan C. Ward, Sanjoy Baruah. 24-33 [doi]
• Regular Composite Resource Partition in Open SystemsWei-Ju Chen, Pei-Chi Huang, Quan Leng, Aloysius K. Mok, Song Han. 34-44 [doi]
• Network Scheduling for Secure Cyber-Physical SystemsVuk Lesi, Ilija Jovanov, Miroslav Pajic. 45-55 [doi]
• Temporal Capabilities: Access Control for TimePhani Kishore Gadepalli, Robert Gifford, Lucas Baier, Michael Kelly, Gabriel Parmer. 56-67 [doi]
• Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive SystemsKyoung-Soo We, Seunggon Kim, Wonseok Lee, Chang-Gun Lee. 68-79 [doi]
• Semi-Federated Scheduling of Parallel Real-Time Tasks on MultiprocessorsXu Jiang, Nan Guan, Xiang Long, Wang Yi 0001. 80-91 [doi]
• Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied TasksJinghao Sun, Nan Guan, Yang Wang, Qingqiang He, Wang Yi. 92-103 [doi]
• GPU Scheduling on the NVIDIA TX2: Hidden Details RevealedTanya Amert, Nathan Otterness, Ming Yang, James H. Anderson, F. Donelson Smith. 104-115 [doi]
• The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority SchedulingYecheng Zhao, Haibo Zeng. 116-127 [doi]
• Analysis Techniques for Supporting Hard Real-Time Sporadic Gang Task SystemsZheng Dong, Cong Liu 0005. 128-138 [doi]
• Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-HardPontus Ekberg, Wang Yi 0001. 139-146 [doi]
• Awakening Power of Physical Layer: High Precision Time Synchronization for Industrial EthernetKun Qian, Tong Zhang, Fengyuan Ren. 147-156 [doi]
• Aerial Video Stream over Multi-hop Using Adaptive TDMA SlotsLuis Ramos Pinto, Luis Almeida, Hassan Alizadeh, Anthony Rowe. 157-166 [doi]
• Offset Assignment to Signals for Improving Frame Packing in CAN-FDPrachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng. 167-177 [doi]
• Synthesis of Queue and Priority Assignment for Asynchronous Traffic Shaping in Switched EthernetJohannes Specht, Soheil Samii. 178-187 [doi]
• Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload OverheadsSyed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis, Eduardo Tovar. 188-198 [doi]
• Schedulability Analysis of Non-preemptive Real-Time Scheduling for Multicore Processors with Shared CachesJun Xiao, Sebastian Altmeyer, Andy D. Pimentel. 199-208 [doi]
• Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core SystemSheng-Wei Cheng, Jian-Jia Chen, Jan Reineke, Tei-Wei Kuo. 209-219 [doi]
• On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET EstimationKarila Palma Silva, Luis Fernando Arcaro, Rômulo Silva de Oliveira. 220-230 [doi]
• End-to-End Network Delay Guarantees for Real-Time Systems Using SDNRakesh Kumar, Monowar Hasan, Smruti Padhy, Konstantin Evchenko, Lavanya Piramanayagam, Sibin Mohan, Rakesh B. Bobba. 231-242 [doi]
• Event-Driven Bandwidth Allocation with Formal Guarantees for Camera NetworksGautham Nayak Seetanadi, Javier Cámara, Luis Almeida, Karl-Erik Årzén, Martina Maggio. 243-254 [doi]
• Revisiting GPC and AND Connector in Real-Time CalculusYue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi 0001. 255-265 [doi]
• RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling IntervalsSeonyeong Heo, Seungbin Song, Jong Kim 0001, Hanjun Kim. 266-276 [doi]
• Jitter-Compensated VHT and Its Application to WSN Clock SynchronizationFederico Terraneo, Fabiano Riccardi, Alberto Leva. 277-286 [doi]
• REC: Predictable Charging Scheduling for Electric Taxi FleetsZheng Dong, Cong Liu 0005, Yanhua Li, Jie Bao, Yu Gu 0001, Tian He. 287-296 [doi]
• Model Predictive Real-Time Monitoring of Linear SystemsXin Chen 0002, Sriram Sankaranarayanan. 297-306 [doi]
• Global EDF-Based Scheduling of Multiple Independent Synchronous Dataflow GraphsAbhishek Singh, Sanjoy Baruah. 307-318 [doi]
• On the Soft Real-Time Optimality of Global EDF on Uniform MultiprocessorsKecheng Yang, James Anderson. 319-330 [doi]
• Beyond Implicit-Deadline Optimality: A Multiprocessor Scheduling Framework for Constrained-Deadline TasksHyeongboo Baek, Hoon Sung Chwa, JinKyu Lee. 331-342 [doi]
• An O(Log Log m)-Competitive Algorithm for Online Machine MinimizationSungjin Im, Benjamin Moseley, Kirk Pruhs, Clifford Stein. 343-350 [doi]
• Work-in-Progress: Maximizing Model Accuracy in Real-time and Iterative Machine LearningRui Han, Fan Zhang, Lydia Y. Chen, Jianfeng Zhan. 351-353 [doi]
• Work-in-Progress: Isochronous Execution Models for Mixed-Criticality Systems on Parallel ProcessorsBader Alahmad, Sathish Gopalakrishnan. 354-356 [doi]
• Work-in-Progress Paper: An Analysis of the Impact of Dependencies on Probabilistic Timing Analysis and Task SchedulingEnrico Mezzetti, Jaume Abella, Carles Hernández, Francisco J. Cazorla. 357-359 [doi]
• Work-in-Progress: Design-Space Exploration of Multi-Core Processors for Safety-Critical Real-Time SystemsDolly Sapra, Sebastian Altmeyer. 360-362 [doi]
• Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical SystemsBo Wan, Xi Li, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou. 363-365 [doi]
• Work-in-Progress: Networked Control of Autonomous Underwater Vehicles with Acoustic and Radio Frequency Hybrid CommunicationMehrullah Soomro, Saeed Nourizadeh Azar, Özgür Gürbüz, Ahmet Onat. 366-368 [doi]
• Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality SystemsMarcello Cinque, Gianmaria De Tommasi. 369-371 [doi]
• Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio GraphsPierre Donat-Bouillud, Christoph M. Kirsch. 372-374 [doi]
• Work-in-Progress: A Flexible Router Architecture for 3D NoCsMostafa Khamis, Mostafa Said, Ahmed Shalaby. 375-377 [doi]
• Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVBHector Joao Rivera-Verduzco, Pieter J. L. Cuijpers, Jingyue Cao. 378-380 [doi]
• Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning SchedulingFlavia Maristela Santos Nascimento, George Lima, Ernesto Massa. 381-383 [doi]
• Work-in-Progress: Cache-Aware Partitioned EDF Scheduling for Multi-core Real-Time SystemsZhishan Guo, Ying Zhang, Lingxiang Wang, Zhenkai Zhang. 384-386 [doi]
• Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with OffsetsXiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-Francois Monin. 387-389 [doi]