IEEE Real-Time Systems Symposium, RTSS 2016


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

On the Dominance of Minimum-Parallelism Multiprocessor Supply

Kecheng Yang, James H. Anderson

On the Dominance of Minimum-Parallelism Multiprocessor Supply

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

Computational Complexity and Speedup Factors Analyses for Self-Suspending Tasks

Jian-Jia Chen

Computational Complexity and Speedup Factors Analyses for Self-Suspending Tasks

Details
Discussion Comments: 0
Verification: Author has not verified information

Timing-anomaly free dynamic scheduling of task-based parallel applications

Petros Voudouris, Per Stenström, Risat Pathan

Timing-anomaly free dynamic scheduling of task-based parallel applications

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

Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments

Georg von der Bruggen, Kuan-Hsun Chen, Wen-Hung Huang, Jian-Jia Chen

Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments

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

Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems

Xiaozhe Gu, Arvind Easwaran

Dynamic Budget Management with Service Guarantees for Mixed-Criticality 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

REVERT: Runtime Verification for Real-Time Systems

Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare

REVERT: Runtime Verification for Real-Time Systems

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

Right on Time Distributed Shared Memory

Rachid Guerraoui, David Kozhaya, Yvonne Anne Pignolet

Right on Time Distributed Shared Memory

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

The Federated Scheduling of Systems of Mixed-Criticality Sporadic DAG Tasks

Sanjoy Baruah

The Federated Scheduling of Systems of Mixed-Criticality Sporadic DAG Tasks

Details
Discussion Comments: 0
Verification: Author has not verified information

Reducing Deadline Misses and Power Consumption in Real-Time Databases

Kyoung-Don Kang

Reducing Deadline Misses and Power Consumption in Real-Time Databases

Details
Discussion Comments: 0
Verification: Author has not verified information

EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees

Di Liu, Jelena Spasic, Nan Guan, Gang Chen, Songran Liu, Todor Stefanov, Wang Yi

EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge

Fanxin Kong, Qiao Xiang, Linghe Kong, Xue Liu

On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge

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

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors

Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald Hobbs

Sporadic Decision-Centric Data Scheduling with Normally-off Sensors

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

Decomposed Reachability Analysis for Nonlinear Systems

Xin Chen, Sriram Sankaranarayanan

Decomposed Reachability Analysis for Nonlinear 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

Timeline: An Operating System Abstraction for Time-Aware Applications

Fatima Anwar, Sandeep D'Souza, Andrew Symington, Adwait Dongare, Ragunathan Rajkumar, Anthony Rowe, Mani B. Srivastava

Timeline: An Operating System Abstraction for Time-Aware Applications

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

Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems

Monowar Hasan, Sibin Mohan, Rakesh B. Bobba, Rodolfo Pellizzoni

Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems

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

Real-Time Capabilities of HSA Compliant COTS Platforms

Nandinbaatar Tsog, Matthias Becker, Marcus Larsson, Fredrik Bruhn, Moris Behnam, Mikael Sjödin

Real-Time Capabilities of HSA Compliant COTS Platforms

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

Towards code metrics for benchmarking timing analysis

Peter Wägemann, Tobias Distler, Phillip Raffeck, Wolfgang Schröder-Preikschat

Towards code metrics for benchmarking timing analysis

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

Exploiting Power Grid for Accurate and Secure Clock Synchronization in Industrial IoT

Sreejaya Viswanathan, Rui Tan, David K. Y. Yau

Exploiting Power Grid for Accurate and Secure Clock Synchronization in Industrial IoT

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

MARACAS: A Real-Time Multicore VCPU Scheduling Framework

Ying Ye, Richard West, Jingyi Zhang, Zhuoqun Cheng

MARACAS: A Real-Time Multicore VCPU Scheduling Framework

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

On the Decomposition-Based Global EDF Scheduling of Parallel Real-Time Tasks

Xu Jiang, Xiang Long, Nan Guan, Han Wan

On the Decomposition-Based Global EDF Scheduling of Parallel Real-Time Tasks

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

Offline Guarantee and Online Management of Power Demand and Supply in Cyber-Physical Systems

Eugene Kim, Jinkyu Lee, Liang He, Youngmoon Lee, Kang G. Shin

Offline Guarantee and Online Management of Power Demand and Supply in Cyber-Physical Systems

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

Reconciling the Tension Between Hardware Isolation and Data Sharing in Mixed-Criticality, Multicore Systems

Micaiah Chisholm, Namhoon Kim, Bryan C. Ward, Nathan Otterness, James H. Anderson, F. Donelson Smith

Reconciling the Tension Between Hardware Isolation and Data Sharing in Mixed-Criticality, Multicore Systems

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

Closing the loop: towards control-aware design of adaptive real-time systems

Tobias Klaus, Florian Franzmann, Maximilian Gaukler, Andreas Michalka, Peter Ulbrich

Closing the loop: towards control-aware design of adaptive real-time systems

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

Integrating the calculation of preemption and persistence related cache overhead

Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar

Integrating the calculation of preemption and persistence related cache overhead

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

Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems

Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton

Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems

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

Real-Time Data and Energy Management in Microgrids

Zhichuan Huang, Ting Zhu

Real-Time Data and Energy Management in Microgrids

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

Average probabilistic response time analysis of tasks with multiple probabilistic parameters

Antoine Bertout, Dorin Maxim, Liliana Cucu-Grosjean

Average probabilistic response time analysis of tasks with multiple probabilistic parameters

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Energy-Aware Real-Time Task Scheduling on Local/Shared Memory Systems

Chenchen Fu, Gruia Calinescu, Kai Wang, Minming Li, Chun Jason Xue

Energy-Aware Real-Time Task Scheduling on Local/Shared Memory Systems

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

Schedulability Analysis for a General Model of Mixed-Criticality Recurrent Real-Time Tasks

Sanjoy Baruah

Schedulability Analysis for a General Model of Mixed-Criticality Recurrent Real-Time Tasks

Details
Discussion Comments: 0
Verification: Author has not verified information

Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations

Björn B. Brandenburg, Mahircan Gul

Global Scheduling Not Required: Simple, Near-Optimal Multiprocessor Real-Time Scheduling with Semi-Partitioned Reservations

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

Closing the Loop for the Selective Conversion Approach: A Utilization-Based Test for Hard Real-Time Suspending Task Systems

Zheng Dong, Cong Liu

Closing the Loop for the Selective Conversion Approach: A Utilization-Based Test for Hard Real-Time Suspending Task Systems

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

End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems

Romain Jacob, Marco Zimmerling, Pengcheng Huang, Jan Beutel, Lothar Thiele

End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems

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

Enabling Predictable Wireless Data Collection in Severe Energy Harvesting Environments

Zheng Dong, Yu Gu, Jiming Chen, Shaojie Tang, Tian He, Cong Liu

Enabling Predictable Wireless Data Collection in Severe Energy Harvesting Environments

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

Value-Based Task Scheduling for Nonvolatile Processor-Based Embedded Devices

Wei-Ming Chen, Tai-Sheng Cheng, Pi-Cheng Hsiu, Tei-Wei Kuo

Value-Based Task Scheduling for Nonvolatile Processor-Based Embedded Devices

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

Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered

Calvin Deutschbein, Sanjoy Baruah

Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered

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

A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs

Alessandro Biondi, Alessio Balsini, Marco Pagani, Enrico Rossi, Mauro Marinoni, Giorgio C. Buttazzo

A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs

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

Randomized Work Stealing for Large Scale Soft Real-Time Systems

Jing Li, Son Dinh, Kevin Kieselbach, Kunal Agrawal, Christopher D. Gill, Chenyang Lu

Randomized Work Stealing for Large Scale Soft Real-Time Systems

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

A Blocking Bound for Nested FIFO Spin Locks

Alessandro Biondi, Björn B. Brandenburg, Alexander Wieder

A Blocking Bound for Nested FIFO Spin Locks

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

BUNDLE: Real-Time Multi-threaded Scheduling to Reduce Cache Contention

Corey Tessler, Nathan Fisher

BUNDLE: Real-Time Multi-threaded Scheduling to Reduce Cache Contention

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

Resource-Oriented Partitioned Scheduling in Multiprocessor Systems: How to Partition and How to Share?

Wen-Hung Huang, Maolin Yang, Jian-Jia Chen

Resource-Oriented Partitioned Scheduling in Multiprocessor Systems: How to Partition and How to Share?

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

Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems

Kilho Lee, Wookhyun Han, Jaewoo Lee, Hoon Sung Chwa, Insik Shin

Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems

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

k2Q: A Quadratic-Form Response Time and Schedulability Analysis Framework for Utilization-Based Analysis

Jian-Jia Chen, Wen-Hung Huang, Cong Liu

k2Q: A Quadratic-Form Response Time and Schedulability Analysis Framework for Utilization-Based Analysis

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