IEEE Real-Time Systems Symposium, RTSS 2017


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard

Pontus Ekberg, Wang Yi

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard

Details
Discussion Comments: 0
Verification: Authors have not verified information

The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling

Yecheng Zhao, Haibo Zeng

The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling

Details
Discussion Comments: 0
Verification: Authors have not verified information

RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling Intervals

Seonyeong Heo, Seungbin Song, Jong Kim, Hanjun Kim

RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling Intervals

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

On the Soft Real-Time Optimality of Global EDF on Uniform Multiprocessors

Kecheng Yang, James H. Anderson

On the Soft Real-Time Optimality of Global EDF on Uniform Multiprocessors

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems

Marcello Cinque, Gianmaria De Tommasi

Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Synthesis of Queue and Priority Assignment for Asynchronous Traffic Shaping in Switched Ethernet

Johannes Specht, Soheil Samii

Synthesis of Queue and Priority Assignment for Asynchronous Traffic Shaping in Switched Ethernet

Details
Discussion Comments: 0
Verification: Authors have not verified information

Revisiting GPC and AND Connector in Real-Time Calculus

Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi

Revisiting GPC and AND Connector in Real-Time Calculus

Details
Discussion Comments: 0
Verification: Authors have not verified information

Offset Assignment to Signals for Improving Frame Packing in CAN-FD

Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng

Offset Assignment to Signals for Improving Frame Packing in CAN-FD

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Analysis Techniques for Supporting Hard Real-Time Sporadic Gang Task Systems

Zheng Dong, Cong Liu

Analysis Techniques for Supporting Hard Real-Time Sporadic Gang Task Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Awakening Power of Physical Layer: High Precision Time Synchronization for Industrial Ethernet

Kun Qian, Tong Zhang, Fengyuan Ren

Awakening Power of Physical Layer: High Precision Time Synchronization for Industrial Ethernet

Details
Discussion Comments: 0
Verification: Authors have not verified information

REC: Predictable Charging Scheduling for Electric Taxi Fleets

Zheng Dong, Cong Liu, Yanhua Li, Jie Bao, Yu Gu, Tian He

REC: Predictable Charging Scheduling for Electric Taxi Fleets

Details
Discussion Comments: 0
Verification: Authors have not verified information

Model Predictive Real-Time Monitoring of Linear Systems

Xin Chen, Sriram Sankaranarayanan

Model Predictive Real-Time Monitoring of Linear Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Global EDF-Based Scheduling of Multiple Independent Synchronous Dataflow Graphs

Abhishek Singh, Sanjoy Baruah

Global EDF-Based Scheduling of Multiple Independent Synchronous Dataflow Graphs

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

End-to-End Network Delay Guarantees for Real-Time Systems Using SDN

Rakesh Kumar, Monowar Hasan, Smruti Padhy, Konstantin Evchenko, Lavanya Piramanayagam, Sibin Mohan, Rakesh B. Bobba

End-to-End Network Delay Guarantees for Real-Time Systems Using SDN

Details
Discussion Comments: 0
Verification: Authors have not verified information

Beyond Implicit-Deadline Optimality: A Multiprocessor Scheduling Framework for Constrained-Deadline Tasks

Hyeongboo Baek, Hoon Sung Chwa, Jinkyu Lee

Beyond Implicit-Deadline Optimality: A Multiprocessor Scheduling Framework for Constrained-Deadline Tasks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Maximizing Model Accuracy in Real-time and Iterative Machine Learning

Rui Han, Fan Zhang, Lydia Y. Chen, Jianfeng Zhan

Work-in-Progress: Maximizing Model Accuracy in Real-time and Iterative Machine Learning

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems

Bo Wan, Xi Li, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou

Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Jitter-Compensated VHT and Its Application to WSN Clock Synchronization

Federico Terraneo, Fabiano Riccardi, Alberto Leva

Jitter-Compensated VHT and Its Application to WSN Clock Synchronization

Details
Discussion Comments: 0
Verification: Authors have not verified information

An Exact and Sustainable Analysis of Non-preemptive Scheduling

Mitra Nasri, Björn B. Brandenburg

An Exact and Sustainable Analysis of Non-preemptive Scheduling

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Network Scheduling for Secure Cyber-Physical Systems

Vuk Lesi, Ilija Jovanov, Miroslav Pajic

Network Scheduling for Secure Cyber-Physical Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Abstract PRET Machines

Edward A. Lee, Jan Reineke, Michael Zimmer

Abstract PRET Machines

Details
Discussion Comments: 0
Verification: Authors have not verified information

Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads

Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis, Eduardo Tovar

Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads

Details
Discussion Comments: 0
Verification: Authors have not verified information

Regular Composite Resource Partition in Open Systems

Wei-Ju Chen, Pei-Chi Huang, Quan Leng, Aloysius K. Mok, Song Han

Regular Composite Resource Partition in Open Systems

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

Aerial Video Stream over Multi-hop Using Adaptive TDMA Slots

Luis Ramos Pinto, Luis Almeida, Hassan Alizadeh, Anthony Rowe

Aerial Video Stream over Multi-hop Using Adaptive TDMA Slots

Details
Discussion Comments: 0
Verification: Authors have not verified information

Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors

Xu Jiang, Nan Guan, Xiang Long, Wang Yi

Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors

Details
Discussion Comments: 0
Verification: Authors have not verified information

Schedulability Analysis of Non-preemptive Real-Time Scheduling for Multicore Processors with Shared Caches

Jun Xiao, Sebastian Altmeyer, Andy D. Pimentel

Schedulability Analysis of Non-preemptive Real-Time Scheduling for Multicore Processors with Shared Caches

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Isochronous Execution Models for Mixed-Criticality Systems on Parallel Processors

Bader Alahmad, Sathish Gopalakrishnan

Work-in-Progress: Isochronous Execution Models for Mixed-Criticality Systems on Parallel Processors

Details
Discussion Comments: 0
Verification: Authors have not verified information

GPU Scheduling on the NVIDIA TX2: Hidden Details Revealed

Tanya Amert, Nathan Otterness, Ming Yang, James H. Anderson, F. Donelson Smith

GPU Scheduling on the NVIDIA TX2: Hidden Details Revealed

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

An O(Log Log m)-Competitive Algorithm for Online Machine Minimization

Sungjin Im, Benjamin Moseley, Kirk Pruhs, Clifford Stein

An O(Log Log m)-Competitive Algorithm for Online Machine Minimization

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets

Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-Francois Monin

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets

Details
Discussion Comments: 0
Verification: Authors have not verified information

Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems

Kyoung-Soo We, Seunggon Kim, Wonseok Lee, Chang-Gun Lee

Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Design-Space Exploration of Multi-Core Processors for Safety-Critical Real-Time Systems

Dolly Sapra, Sebastian Altmeyer

Work-in-Progress: Design-Space Exploration of Multi-Core Processors for Safety-Critical Real-Time Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Temporal Capabilities: Access Control for Time

Phani Kishore Gadepalli, Robert Gifford, Lucas Baier, Michael Kelly, Gabriel Parmer

Temporal Capabilities: Access Control for Time

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Networked Control of Autonomous Underwater Vehicles with Acoustic and Radio Frequency Hybrid Communication

Mehrullah Soomro, Saeed Nourizadeh Azar, Özgür Gürbüz, Ahmet Onat

Work-in-Progress: Networked Control of Autonomous Underwater Vehicles with Acoustic and Radio Frequency Hybrid Communication

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Author Comments: We are working to improve the communication links of our artifact
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System

Sheng-Wei Cheng, Jian-Jia Chen, Jan Reineke, Tei-Wei Kuo

Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: A Flexible Router Architecture for 3D NoCs

Mostafa Khamis, Mostafa Said, Ahmed Shalaby

Work-in-Progress: A Flexible Router Architecture for 3D NoCs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB

Hector Joao Rivera-Verduzco, Pieter J. L. Cuijpers, Jingyue Cao

Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB

Details
Discussion Comments: 0
Verification: Authors have not verified information

Sustainability in Mixed-Criticality Scheduling

Zhishan Guo, Sai Sruti, Bryan C. Ward, Sanjoy Baruah

Sustainability in Mixed-Criticality Scheduling

Details
Discussion Comments: 0
Verification: Authors have not verified information

Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

Gautham Nayak Seetanadi, Javier Cámara, Luis Almeida, Karl-Erik Årzén, Martina Maggio

Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling

Flavia Maristela Santos Nascimento, George Lima, Ernesto Massa

Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress Paper: An Analysis of the Impact of Dependencies on Probabilistic Timing Analysis and Task Scheduling

Enrico Mezzetti, Jaume Abella, Carles Hernández, Francisco J. Cazorla

Work-in-Progress Paper: An Analysis of the Impact of Dependencies on Probabilistic Timing Analysis and Task Scheduling

Details
Discussion Comments: 0
Verification: Authors have not verified information

On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation

Karila Palma Silva, Luis Fernando Arcaro, Rômulo Silva de Oliveira

On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Cache-Aware Partitioned EDF Scheduling for Multi-core Real-Time Systems

Zhishan Guo, Ying Zhang, Lingxiang Wang, Zhenkai Zhang

Work-in-Progress: Cache-Aware Partitioned EDF Scheduling for Multi-core Real-Time Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks

Jinghao Sun, Nan Guan, Yang Wang, Qingqiang He, Wang Yi

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs

Pierre Donat-Bouillud, Christoph M. Kirsch

Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs

Details
Discussion Comments: 0
Verification: Authors have not verified information