[Front cover] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Technical Program Committee (PDF)

list-reviewer (PDF)

Title page i (PDF)

Title Page iii (PDF)

Message from the Chairs (PDF)

Organizing Committee (PDF)

On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN (Abstract)

Scheduling of Battery Charge, Discharge, and Rest (Abstract)

Adaptive Dynamic Power Management for Hard Real-Time Systems (Abstract)

Rapid Early-Phase Virtual Integration (Abstract)

Unified Cache Modeling for WCET Analysis and Layout Optimizations (Abstract)

Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores (Abstract)

Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches (Abstract)

Scheduling Hard Real-Time Garbage Collection (Abstract)

A Generic Framework for Soft Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded Systems (Abstract)

Integrating Proactive and Reactive Approaches for Robust Real-Time Data Services (Abstract)

Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems (Abstract)

Spatiotemporal Delay Control for Low-Duty-Cycle Sensor Networks (Abstract)

Cross-Layer Analysis of the End-to-End Delay Distribution in Wireless Sensor Networks (Abstract)

When In-Network Processing Meets Time: Complexity and Effects of Joint Optimization in Wireless Sensor Networks (Abstract)

A Formal Architecture Pattern for Real-Time Distributed Systems (Abstract)

Distributed, Modular HTL (Abstract)

Verifying Tolerant Systems Using Polynomial Approximations (Abstract)

Real-Time Control of I/O COTS Peripherals for Embedded Systems (Abstract)

Sloth: Threads as Interrupts (Abstract)

On the Implementation of Global Real-Time Schedulers (Abstract)

Towards Stable Network Performance in Wireless Sensor Networks (Abstract)

An Adaptive-Reliability Cyber-Physical Transport Protocol for Spatio-temporal Data (Abstract)

Multi-Channel Interference Measurement and Modeling in Low-Power Wireless Networks (Abstract)

Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams (Abstract)

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems (Abstract)

Flow-Based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-Based Schedulability Analysis of Distributed Systems (Abstract)

On the Scheduling of Mixed-Criticality Real-Time Task Sets (Abstract)

AdaptSens: An Adaptive Data Collection and Storage Service for Solar-Powered Sensor Networks (Abstract)

[Publisher's information] (PDF)

Impact of Data Fusion on Real-Time Detection in Sensor Networks (Abstract)

Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks (Abstract)

Robustness of Model-Based Simulations (Abstract)

Symbolic Robustness Analysis (Abstract)

Component-Based Abstraction Refinement for Timed Controller Synthesis (Abstract)

Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling (Abstract)

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling (Abstract)

Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems (Abstract)

Multiprocessor Extensions to Real-Time Calculus (Abstract)

Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems (Abstract)

Virtual Multiprocessor Platforms: Specification and Use (Abstract)

Preemption-Light Multiprocessor Scheduling of Sporadic Tasks with High Utilisation Bound (Abstract)

Gang EDF Scheduling of Parallel Task Systems (Abstract)

Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors (Abstract)

Multi-layer Bus Optimization for Real-Time Task Scheduling with Chain-Based Precedence Constraints (Abstract)

Author Index (PDF)