Work-in-Progress Program

TEMPO: Performance Viewpoint for Component-Based Design of Real-Time Systems
Rafik Henia, Laurent Rioux and Nicolas Sordon

SPM-Aware Scheduling for Nested Loops in CMP Systems
Zhi Chen and Meikang Qiu

Heterothread: Hybrid Thread Level Parallelism on Heterogeneous Multicore Architectures
Chao Wang, Xi Li and Xuehai Zhou

Autonomic Computing Architecture for Real-Time Medical Application Running on Virtual Private Cloud Infrastructures
Yong woon Ahn and Albert Mo Kim Cheng

Applying Language-based Static Verification in an ARM Operating System
Matthew Danish, Hongwei Xi and Richard West

Improving Schedulability and Energy Efficiency for Real-Time Systems with (m,k)-Guarantee
Linwei Niu and Kuai Xu

Online OLED Dynamic Voltage Scaling for Video Streaming Applications on Mobile Devices
Mengying Zhao, Xiang Chen, Yiran Chen and Chun Jason Xue

An Asymptotically Optimal Real-Time Locking Protocol for Clustered Scheduling under Suspension-Aware Analysis
Björn B. Brandenburg

The Fork-Join Real-Time Task Model
Martin Stigge, Pontus Ekberg and Wang Yi

Fixed Priorities or EDF for Distributed Real-Time Systems?
Juan M. Rivas, J. Javier Gutiérrez and Michael González Harbour

Application of Mixed-Criticality Scheduling Model to Intelligent Transportation Systems Architectures
Vincent Sciandra, Pierre Courbin and Laurent George

High-Confidence Cyber-Physical Co-Design
David Broman

Performance analysis of TDMA-based Wireless Network for Safety-critical Avionics
Dinh Khanh Dang, Ahlem Mifdaoui and Thierry Gayraud

Optimizing QoS in Energy-Aware Real-Time Systems
Ríad Nassiffe, Eduardo Camponogara and George Lima

Reliability-Aware Energy Minimization for Real-Time Embedded Systems with Window-Constraints
Linwei Niu, Luis Medina and Yiran Chen

Thermal-Aware Energy Minimization for Real-Time Scheduling on Multi-core Systems
Ming Fan, Vivek Chaturvedi, Shi Sha and Gang Quan

RT-WiFi: Real-Time High Speed Communication Protocol for Wireless Control Systems
Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka, Tianji Li, David Malone and Douglas Leith

An Evaluation of the RUN Algorithm in LITMUSRT
Hiroyuki Chishiro, James H. Anderson and Nobuyuki Yamasaki

Automated Model Translations for Vehicular Real-Time Embedded Systems with Preserved Semantics
Saad Mubeen, Mikael Sjödin, Jukka Mäki-Turja, Kurt-Lennart Lundbäck and Peter Wallin

Predictable, System-Level Fault Tolerance in Composite
Jiguo Song and Gabriel Parmer

Real-time Fault Tolerant Deployment and Configuration Framework for Cyber Physical Systems
Subhav Pradhan, Aniruddha Gokhale, William R. Otte and Gabor Karsai

ProtoDrive: An Experimental Platform for Electric Vehicle Energy Scheduling and Control
William Price, Harsh Jain, Yash Pant and Rahul Mangharam

MLE+: A Tool for Integrated Design and Deployment of Energy Efficient Building Controls
Willy Bernal, Madhur Behl, Truong Nghiem and Rahul Mangharam

Resource Sharing under Server-based Multiprocessor Scheduling
Sara Afshar and Moris Behnam

Using NPS-F for Mixed-Criticality Multicore Systems
Konstantinos Bletsas and Stefan M. Petters