[Front cover]

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-viii

Message from the Chairs (PDF)

pp. ix

RTSS 2010 Organizers (PDF)

pp. x

Technical Program Committees (PDF)

pp. xi-xii

Other reviewers (PDF)

pp. xiii

Supporting Soft Real-Time DAG-Based Systems on Multiprocessors with No Utilization Loss (Abstract)

Cong Liu

James H. Anderson

pp. 3-13

PDF

An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers (Abstract)

pp. 14-24

PDF

LLF Schedulability Analysis on Multiprocessor Platforms (Abstract)

pp. 25-36

PDF

Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules (Abstract)

pp. 37-46

PDF

Optimality Results for Multiprocessor Real-Time Locking (Abstract)

Björn B. Brandenburg

James H. Anderson

pp. 49-60

PDF

Bounding the Number of Self-Blocking Occurrences of SIRAP (Abstract)

pp. 61-72

PDF

Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems (Abstract)

A. Burns

B. Littlewood

pp. 73-81

PDF

Feedback Control of Cyber-physical Systems with Multi Resource Dependencies and Model Uncertainties (Abstract)

Mikael Lindberg

Karl-Erik Ârzén

pp. 85-94

PDF

Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications (Abstract)

pp. 95-104

PDF

Alberto Sangiovanni-Vincentelli

A Design Flow for Building Automation and Control Systems (Abstract)

Yang Yang

Alessandro Pinto

Qi Zhu

pp. 105-116

PDF

Fidelity-Aware Utilization Control for Cyber-Physical Surveillance Systems (Abstract)

Jinzhu Chen

Rui Tan

Guoliang Xing

Xiaorui Wang

Xing Fu

pp. 117-126

PDF

Prolonging Sensor Network Lifetime Through Wireless Charging (Abstract)

Zi Li

pp. 129-139

PDF

Optimal Schedules for Sensor Network Queries (Abstract)

Sathish Gopalakrishnan

pp. 140-149

PDF

Real-Time Scheduling for WirelessHART Networks (Abstract)

You Xu

pp. 150-159

PDF

Quality Tradeoffs in Object Tracking with Duty-Cycled Sensor Networks (Abstract)

pp. 160-169

PDF

The Non-cyclic Recurring Real-Time Task Model (Abstract)

Sanjoy Baruah

pp. 173-182

PDF

An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems (Abstract)

Haohan Li

Sanjoy Baruah

pp. 183-192

PDF

Optimizing Expected Time Utility in Cyber-Physical Systems Schedulers (Abstract)

pp. 193-201

PDF

LISTEN: Non-interactive Localization in Wireless Camera Sensor Networks (Abstract)

Yuan He

pp. 205-214

PDF

System-Level Calibration for Fusion-Based Wireless Sensor Networks (Abstract)

Rui Tan

Xue Liu

pp. 215-224

PDF

Overloading an IEEE 802.15.4 Point-to-Point Connection with Real-Time Messages (Abstract)

Marc Aoun

Peter van der Stok

pp. 225-235

PDF

Assigning Real-Time Tasks on Heterogeneous Multiprocessors with Two Unrelated Types of Processors (Abstract)

pp. 239-248

PDF

A Framework for Hierarchical Scheduling on Multiprocessors: From Application Requirements to Run-Time Allocation (Abstract)

Giuseppe Lipari

Enrico Bini

pp. 249-258

PDF

Ragunathan (Raj) Rajkumar

Scheduling Parallel Real-Time Tasks on Multi-core Processors (Abstract)

Karthik Lakshmanan

Shinpei Kato

pp. 259-268

PDF

Quality-Driven Volcanic Earthquake Detection Using Wireless Sensor Networks (Abstract)

Rui Tan

pp. 271-280

PDF

Lightweight Extraction of Frequent Spatio-Temporal Activities from GPS Traces (Abstract)

Athanasios Bamis

Andreas Savvides

pp. 281-291

PDF

Adaptive Voice Stream Multicast Over Low-Power Wireless Networks (Abstract)

Qi Han

pp. 292-301

PDF

End-to-End Delay Bound for Prioritized Data Flows in Disruption-Tolerant Networks (Abstract)

Md. Yusuf Sarwar Uddin

Fatemeh Saremi

Tarek Abdelzaher

pp. 305-316

PDF

On Structural Robustness of Distributed Real-Time Systems Towards Uncertainties in Service Times (Abstract)

Praveen Jayachandran

Tarek Abdelzaher

pp. 317-326

PDF

A Decentralized Approach for Monitoring Timing Constraints of Event Flows (Abstract)

pp. 327-336

PDF

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software (Abstract)

Mingsong Lv

Wang Yi

Nan Guan

Ge Yu

pp. 339-349

PDF

Memory-Aware Optimal Scheduling with Communication Overhead Minimization for Streaming Applications on Chip Multiprocessors (Abstract)

Yi Wang

Duo Liu

Zhiwei Qin

Zili Shao

pp. 350-359

PDF

Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams (Abstract)

pp. 360-371

PDF

An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks (Abstract)

Wilfried Steiner

pp. 375-384

PDF

Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay (Abstract)

pp. 385-394

PDF

A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis (Abstract)

Tyler Sondag

Hridesh Rajan

pp. 395-404

PDF

Author Index (PDF)

pp. 405-406

[Publisher's information] (PDF)

pp. 408