IEEE Real-Time Systems Symposium, RTSS, 2014

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

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle	Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software Details		Discussion Comments: 0 Verification: Authors have not verified information More...
PTEC: A System for Predictive Thermal and Energy Control in Data Centers Jinzhu Chen, Rui Tan, Guoliang Xing, Xiaorui Wang	PTEC: A System for Predictive Thermal and Energy Control in Data Centers Details		Discussion Comments: 0 Verification: Authors have not verified information More...
A Dual-Criticality Memory Controller (DCmc): Proposal and Evaluation of a Space Case Study Javier Jalle, Eduardo Quiñones, Jaume Abella, Luca Fossati, Marco Zulianello, Francisco J. Cazorla	A Dual-Criticality Memory Controller (DCmc): Proposal and Evaluation of a Space Case Study Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor Sanjoy K. Baruah, Zhishan Guo	Scheduling Mixed-Criticality Implicit-Deadline Sporadic Task Systems upon a Varying-Speed Processor Details		Author Comments: Discussion Comments: 0 Sharing: Not able to share produced artifacts Verification: Authors have verified information More...
The Frame Packing Problem for CAN-FD Unmesh D. Bordoloi, Soheil Samii	The Frame Packing Problem for CAN-FD Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis Rui Liu, Alex F. Mills, James H. Anderson	Independence Thresholds: Balancing Tractability and Practicality in Soft Real-Time Stochastic Analysis Details		Discussion Comments: 0 Verification: Authors have not verified information More...
A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality Systems Björn B. Brandenburg	A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-Criticality Systems Details		Author Comments: Discussion Comments: 0 Sharing: Other Verification: Author has verified information More...
On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections Alexander Wieder, Björn B. Brandenburg	On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections Details		Author Comments: Discussion Comments: 0 Sharing: Other Verification: Authors have verified information More...
Real-Time Reachability for Verified Simplex Design Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha	Real-Time Reachability for Verified Simplex Design Details	https://bitbucket.org/verivital/rtreach/src	Author Comments: Discussion Comments: 0 Sharing: Research produced artifacts Verification: Authors have verified information More...
Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification Dingbao Xie, Lei Bu, Xuandong Li	Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification Details		Discussion Comments: 0 Verification: Authors have not verified information More...
CapNet: A Real-Time Wireless Management Network for Data Center Power Capping Abusayeed Saifullah, Sriram Sankar, Jie Liu, Chenyang Lu, Ranveer Chandra, Bodhi Priyantha	CapNet: A Real-Time Wireless Management Network for Data Center Power Capping Details		Discussion Comments: 0 Verification: Authors have not verified information More...
FLOPSYNC-2: Efficient Monotonic Clock Synchronisation Federico Terraneo, Luigi Rinaldi, Martina Maggio, Alessandro Vittorio Papadopoulos, Alberto Leva	FLOPSYNC-2: Efficient Monotonic Clock Synchronisation Details	http://gitorious.org/flopsync	Discussion Comments: 0 Verification: Authors have not verified information More...
Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability Felipe Cerqueira, Arpan Gujarati, Björn B. Brandenburg	Linux's Processor Affinity API, Refined: Shifting Real-Time Tasks Towards Higher Schedulability Details		Author Comments: Discussion Comments: 0 Sharing: Other Verification: Authors have verified information More...
A Wormhole NoC Protocol for Mixed Criticality Systems Alan Burns, James Harbin, Leandro Soares Indrusiak	A Wormhole NoC Protocol for Mixed Criticality Systems Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Wi-Sleep: Contactless Sleep Monitoring via WiFi Signals Xuefeng Liu, Jiannong Cao, Shaojie Tang, Jiaqi Wen	Wi-Sleep: Contactless Sleep Monitoring via WiFi Signals Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Time-Reversibility of Schedulability Tests Jinkyu Lee	Time-Reversibility of Schedulability Tests Details		Discussion Comments: 0 Verification: Author has not verified information More...
Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds Reinder J. Bril, Sebastian Altmeyer, Martijn M. H. P. van den Heuvel, Robert I. Davis, Moris Behnam	Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Predictable Communication and Migration in the Quest-V Separation Kernel Ye Li, Richard West, Zhuoqun Cheng, Eric S. Missimer	Predictable Communication and Migration in the Quest-V Separation Kernel Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Generalized Decision Aggregation in Distributed Sensing Systems Lu Su, Qi Li, Shaohan Hu, Shiguang Wang, Jing Gao, Hengchang Liu, Tarek F. Abdelzaher, Jiawei Han, Xue Liu, Yan Gao, Lance M. Kaplan	Generalized Decision Aggregation in Distributed Sensing Systems Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT Roy Spliet, Manohar Vanga, Björn B. Brandenburg, Sven Dziadek	Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT Details		Author Comments: Discussion Comments: 0 Sharing: Other Verification: Authors have verified information More...
Exploring the Multitude of Real-Time Multi-GPU Configurations Glenn A. Elliott, James H. Anderson	Exploring the Multitude of Real-Time Multi-GPU Configurations Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Gemini: A Non-invasive, Energy-Harvesting True Power Meter Bradford Campbell, Prabal Dutta	Gemini: A Non-invasive, Energy-Harvesting True Power Meter Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Approximate Response Time Analysis of Real-Time Task Graphs Nan Guan, Chuancai Gu, Martin Stigge, Qingxu Deng, Wang Yi	Approximate Response Time Analysis of Real-Time Task Graphs Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Fixed-Relative-Deadline Scheduling of Hard Real-Time Tasks with Self-Suspensions Jian-Jia Chen, Cong Liu	Fixed-Relative-Deadline Scheduling of Hard Real-Time Tasks with Self-Suspensions Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Bursty-Interference Analysis Techniques for Analyzing Complex Real-Time Task Models Cong Liu, Jian-Jia Chen	Bursty-Interference Analysis Techniques for Analyzing Complex Real-Time Task Models Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Improving Control Performance by Minimizing Jitter in RT-WiFi Networks Quan Leng, Yi-Hung Wei, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka	Improving Control Performance by Minimizing Jitter in RT-WiFi Networks Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Real-Time Discharge/Charge Rate Management for Hybrid Energy Storage in Electric Vehicles Eugene Kim, Kang G. Shin, Jinkyu Lee	Real-Time Discharge/Charge Rate Management for Hybrid Energy Storage in Electric Vehicles Details		Discussion Comments: 0 Verification: Authors have not verified information More...
vMPCP: A Synchronization Framework for Multi-core Virtual Machines Hyoseung Kim, Shige Wang, Ragunathan Rajkumar	vMPCP: A Synchronization Framework for Multi-core Virtual Machines Details		Discussion Comments: 0 Verification: Authors have not verified information More...
MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, Insup Lee	MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles Wanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani, Samarjit Chakraborty	Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles Details		Discussion Comments: 0 Verification: Authors have not verified information More...
A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks Krishnendu Chatterjee, Andreas Pavlogiannis, Alexander Kößler, Ulrich Schmid	A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Adaptive Mixed Criticality Scheduling with Deferred Preemption Alan Burns, Robert I. Davis	Adaptive Mixed Criticality Scheduling with Deferred Preemption Details		Discussion Comments: 0 Verification: Authors have not verified information More...
Towards Cyber-Physical Systems in Social Spaces: The Data Reliability Challenge Shiguang Wang, Dong Wang, Lu Su, Lance M. Kaplan, Tarek F. Abdelzaher	Towards Cyber-Physical Systems in Social Spaces: The Data Reliability Challenge Details		Discussion Comments: 0 Verification: Authors have not verified information More...

IEEE Real-Time Systems Symposium, RTSS 2014