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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
Analyzing Real Time Linear Control Systems Using Software Verification Parasara Sridhar Duggirala, Mahesh Viswanathan	Analyzing Real Time Linear Control Systems Using Software Verification Details	http://engr.uconn.edu/~psd/closed-loop-verification/ psd@uconn.edu	Author Comments: Discussion Comments: 0 Sharing: Research produced artifacts Verification: Authors have verified information More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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	https://people.mpi-sws.org/~bbb/papers/data/rtss15/index.html https://people.mpi-sws.org/~bbb/projects/schedcat bbb@mpi-sws.org	Author Comments: Discussion Comments: 0 Sharing: Research produced artifacts Verification: Authors have verified information More...
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 More...
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 More...
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 More...
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 More...
EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis Marco Ziccardi, Enrico Mezzetti, Tullio Vardanega, Jaume Abella, Francisco J. Cazorla	EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis Details		Discussion Comments: 0 Verification: Authors have not verified information More...
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 More...
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 A. Szekely, Ramesh Govindan, Reginald L. Hobbs, Tarek F. Abdelzaher	Data Acquisition for Real-Time Decision-Making under Freshness Constraints Details		Discussion Comments: 0 Verification: Authors have not verified information More...
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 More...
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 More...
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	http://www.litmus-rt.org https://github.com/GElliott/pgm/	Discussion Comments: 0 Verification: Authors have not verified information More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...
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 More...

IEEE Real-Time Systems Symposium, RTSS 2015