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

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

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

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

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

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

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
Discussion Comments: 0
Verification: Author has not verified information

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
Discussion Comments: 0
Verification: Authors have not verified information

Real-Time Reachability for Verified Simplex Design

Stanley Bak, Taylor T. Johnson, Marco Caccamo, Lui Sha

Real-Time Reachability for Verified Simplex Design

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

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

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

FLOPSYNC-2: Efficient Monotonic Clock Synchronisation

Federico Terraneo, Luigi Rinaldi, Martina Maggio, Alessandro Vittorio Papadopoulos, Alberto Leva

FLOPSYNC-2: Efficient Monotonic Clock Synchronisation

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

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
Discussion Comments: 0
Verification: Authors have not verified information

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

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

Time-Reversibility of Schedulability Tests

Jinkyu Lee

Time-Reversibility of Schedulability Tests

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

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

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

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

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
Discussion Comments: 0
Verification: Authors have not verified information

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

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

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

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

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

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

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

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

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

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

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

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

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