IEEE Real-Time Systems Symposium, RTSS 2015


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

Using Entropy as a Parameter to Schedule Real-Time Tasks

Carlos A. Rincon C., Albert M. K. Cheng

Using Entropy as a Parameter to Schedule Real-Time Tasks

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

Static Probabilistic Timing Analysis for Multi-path Programs

Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis

Static Probabilistic Timing Analysis for Multi-path Programs

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

MC-Fluid: Simplified and Optimally Quantified

Sanjoy K. Baruah, Arvind Easwaran, Zhishan Guo

MC-Fluid: Simplified and Optimally Quantified

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

Improved DRAM Timing Bounds for Real-Time DRAM Controllers with Read/Write Bundling

Leonardo Ecco, Rolf Ernst

Improved DRAM Timing Bounds for Real-Time DRAM Controllers with Read/Write Bundling

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

Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization

Pontus Ekberg, Wang Yi

Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization

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

Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems

Nan Guan, Mengying Zhao, Chun Jason Xue, Yongpan Liu, Wang Yi

Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems

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

Dynamic Control for Mixed-Critical Networks-on-Chip

Adam Kostrzewa, Selma Saidi, Rolf Ernst

Dynamic Control for Mixed-Critical Networks-on-Chip

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

Schedulability Analysis under Graph Routing in WirelessHART Networks

Abusayeed Saifullah, Dolvara Gunatilaka, Paras Babu Tiwari, Mo Sha, Chenyang Lu, Bo Li, Chengjie Wu, Yixin Chen

Schedulability Analysis under Graph Routing in WirelessHART Networks

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

Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization

Federico Terraneo, Alberto Leva, Silvano Seva, Martina Maggio, Alessandro Vittorio Papadopoulos

Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization

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

Analyzing Real Time Linear Control Systems Using Software Verification

Parasara Sridhar Duggirala, Mahesh Viswanathan

Analyzing Real Time Linear Control Systems Using Software Verification

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

Relaxing Resource-Sharing Constraints for Improved Hardware Management and Schedulability

Bryan C. Ward

Relaxing Resource-Sharing Constraints for Improved Hardware Management and Schedulability

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

Q-Offload: Quality Aware WiFi Offloading with Link Dynamics

Yi Zhang, Jiliang Wang, Yuan He, Yanrong Kang, Bo Li, Yunhao Liu

Q-Offload: Quality Aware WiFi Offloading with Link Dynamics

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

Towards Realistic Core-Failure-Resilient Scheduling and Analysis

Borislav Nikolic, Konstantinos Bletsas

Towards Realistic Core-Failure-Resilient Scheduling and Analysis

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

An Isolation Scheduling Model for Multicores

Pengcheng Huang, Georgia Giannopoulou, Rehan Ahmed, Davide B. Bartolini, Lothar Thiele

An Isolation Scheduling Model for Multicores

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

Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling

Youcheng Sun, Giuseppe Lipari

Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling

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

When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems

Arpan Gujarati, Björn B. Brandenburg

When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems

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

Reducing the Implementation Overheads of IPCP and DFP

H. Almatary, Neil C. Audsley, Alan Burns

Reducing the Implementation Overheads of IPCP and DFP

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

Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison

Maolin Yang, Alexander Wieder, Björn B. Brandenburg

Global Real-Time Semaphore Protocols: A Survey, Unified Analysis, and Comparison

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

Co-design of Anytime Computation and Robust Control

Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam

Co-design of Anytime Computation and Robust Control

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

Tradeoffs in Real-Time Robotic Task Design with Neuroevolution Learning for Imprecise Computation

Pei-Chi Huang, Luis Sentis, Joel Lehman, Chien-Liang Fok, Aloysius K. Mok, Risto Miikkulainen

Tradeoffs in Real-Time Robotic Task Design with Neuroevolution Learning for Imprecise Computation

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

Semi-partitioning under a Blocking-Aware Task Allocation

Sara Afshar, Moris Behnam, Thomas Nolte

Semi-partitioning under a Blocking-Aware Task Allocation

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

Qduino: A Multithreaded Arduino System for Embedded Computing

Zhuoqun Cheng, Ye Li, Richard West

Qduino: A Multithreaded Arduino System for Embedded Computing

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

EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis

Marco Ziccardi, Enrico Mezzetti, Tullio Vardanega, Jaume Abella, Francisco Javier Cazorla

EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis

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

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

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

Data Acquisition for Real-Time Decision-Making under Freshness Constraints

Shaohan Hu, Shuochao Yao, Haiming Jin, Yiran Zhao, Yitao Hu, Xiaochen Liu, Nooreddin Naghibolhosseini, Shen Li, Akash Kapoor, William Dron, Lu Su, Amotz Bar-Noy, Pedro Szekely, Ramesh Govindan, Reginald Hobbs, Tarek F. Abdelzaher

Data Acquisition for Real-Time Decision-Making under Freshness Constraints

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

Inter-cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses

Aiping Tan, Qixin Wang, Nan Guan, Qingxu Deng, Xiaobo Sharon Hu

Inter-cell Channel Time-Slot Scheduling for Multichannel Multiradio Cellular Fieldbuses

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

A Time-Predictable Model of Computation

Anoop Bhagyanath, Tripti Jain, Klaus Schneider

A Time-Predictable Model of Computation

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

Supporting Real-Time Computer Vision Workloads Using OpenVX on Multicore+GPU Platforms

Glenn A. Elliott, Kecheng Yang, James H. Anderson

Supporting Real-Time Computer Vision Workloads Using OpenVX on Multicore+GPU Platforms

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

Deferred Start: A Non-Work-Conserving Model for P-FRP Fixed Priority Task Scheduling

Xingliang Zou, Albert M. K. Cheng, Yu Jiang

Deferred Start: A Non-Work-Conserving Model for P-FRP Fixed Priority Task Scheduling

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

Optimal Real-Time Scheduling on Two-Type Heterogeneous Multicore Platforms

Hoon Sung Chwa, Jaebaek Seo, Jinkyu Lee, Insik Shin

Optimal Real-Time Scheduling on Two-Type Heterogeneous Multicore Platforms

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

Platform-Specific Code Generation from Platform-Independent Timed Models

BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee

Platform-Specific Code Generation from Platform-Independent Timed Models

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

Cache Sharing and Isolation Tradeoffs in Multicore Mixed-Criticality Systems

Micaiah Chisholm, Bryan C. Ward, Namhoon Kim, James H. Anderson

Cache Sharing and Isolation Tradeoffs in Multicore Mixed-Criticality Systems

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

k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests

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

k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests

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

Quantifying the Exact Sub-optimality of Non-preemptive Scheduling

Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin, Sasikumar Punnekkat

Quantifying the Exact Sub-optimality of Non-preemptive Scheduling

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

Precise Multi-level Inclusive Cache Analysis for WCET Estimation

Zhenkai Zhang, Xenofon D. Koutsoukos

Precise Multi-level Inclusive Cache Analysis for WCET Estimation

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

Distributed Deadline and Renewable Aware Electric Vehicle Demand Response in the Smart Grid

Fanxin Kong, Xue Liu

Distributed Deadline and Renewable Aware Electric Vehicle Demand Response in the Smart Grid

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

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization

Stanley Bak, Taylor T. Johnson

Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization

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

A Quadratic-Time Response Time Upper Bound with a Tightness Property

Enrico Bini, Andrea Parri, Giacomo Dossena

A Quadratic-Time Response Time Upper Bound with a Tightness Property

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

SounDroid: Supporting Real-Time Sound Applications on Commodity Mobile Devices

Hyosu Kim, Sang Jeong Lee, Wookhyun Han, Daehyeok Kim, Insik Shin

SounDroid: Supporting Real-Time Sound Applications on Commodity Mobile Devices

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

Energy-Aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems

Muhammad Ali Awan, Damien Masson, Eduardo Tovar

Energy-Aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems

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

Hardware Optimizations for Anytime Perception and Control

Nischal K. N., Paritosh Kelkar, Dhruva Kumar, Yash Vardhan Pant, Houssam Abbas, Joseph Devietti, Rahul Mangharam

Hardware Optimizations for Anytime Perception and Control

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

Modeling and Real-Time Scheduling of Large-Scale Batteries for Maximizing Performance

Eugene Kim, Jinkyu Lee, Kang G. Shin

Modeling and Real-Time Scheduling of Large-Scale Batteries for Maximizing Performance

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