CSDL - Proceedings R

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-viii

Message from Conference Chairs (PDF)

pp. x

Organizing Committee (PDF)

pp. xi

Program Committee (PDF)

pp. xii-xiii

Reviewers (PDF)

pp. xiv-xv

The Rationale for Time-Triggered Ethernet (Abstract)

Hermann Kopetz

pp. 3-11

PDF

Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays (Abstract)

Nicholas Kottenstette

pp. 15-24

PDF

Merge-by-Wire: Algorithms and System Support (Abstract)

pp. 25-34

PDF

A Holistic Approach to Decentralized Structural Damage Localization Using Wireless Sensor Networks (Abstract)

Fei Sun

pp. 35-46

PDF

Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems (Abstract)

Fumin Zhang

Klementyna Szwaykowska

Wayne Wolf

Vincent Mooney

pp. 47-56

PDF

A Multi-mode Real-Time Calculus (Abstract)

pp. 59-69

PDF

Schedulability and Compatibility of Real Time Asynchronous Objects (Abstract)

Mohammad Mahdi Jaghoori

pp. 70-79

PDF

Symbolic Computation of Schedulability Regions Using Parametric Timed Automata (Abstract)

pp. 80-89

PDF

Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon (Abstract)

Yuan He

pp. 93-102

PDF

Fast Sensor Placement Algorithms for Fusion-Based Target Detection (Abstract)

Rui Tan

pp. 103-112

PDF

Rate-Harmonized Scheduling for Saving Energy (Abstract)

pp. 113-122

PDF

Virtual Battery: An Energy Reserve Abstraction for Embedded Sensor Networks (Abstract)

pp. 123-133

PDF

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms (Abstract)

Nan Guan

Wang Yi

Zonghua Gu

Qingxu Deng

Ge Yu

pp. 137-146

PDF

Optimal Dynamic-Priority Real-Time Scheduling Algorithms for Uniform Multiprocessors (Abstract)

Shih-Ying Chen

Chih-Wen Hsueh

pp. 147-156

PDF

On the Scalability of Real-Time Scheduling Algorithms on Multicore Platforms: A Case Study (Abstract)

pp. 157-169

PDF

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability (Abstract)

pp. 173-182

PDF

Synthesizing Certificates in Networks of Timed Automata (Abstract)

pp. 183-194

PDF

Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis (Abstract)

Farn Wang

pp. 195-205

PDF

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources (Abstract)

pp. 209-220

PDF

Coscheduling of CPU and I/O Transactions in COTS-Based Embedded Systems (Abstract)

Rodolfo Pellizzoni

Bach D. Bui

Marco Caccamo

Lui Sha

pp. 221-231

PDF

Predictable Interrupt Management and Scheduling in the Composite Component-Based System (Abstract)

Gabriel Parmer

Richard West

pp. 232-243

PDF

Real-Time Program Execution on NAND Flash Memory for Portable Media Players (Abstract)

pp. 244-255

PDF

Delay Composition Algebra: A Reduction-Based Schedulability Algebra for Distributed Real-Time Systems (Abstract)

Praveen Jayachandran

Tarek Abdelzaher

pp. 259-269

PDF

Extending a Task Allocation Algorithm for Graceful Degradation of Real-Time Distributed Embedded Systems (Abstract)

Paul Emberson

Iain Bate

pp. 270-279

PDF

Control-Driven Tasks: Modeling and Analysis (Abstract)

pp. 280-290

PDF

Delay-Aware Period Assignment in Control Systems (Abstract)

Enrico Bini

Anton Cervin

pp. 291-300

PDF

Power-Efficient Response Time Guarantees for Virtualized Enterprise Servers (Abstract)

pp. 303-312

PDF

Optimistic Reliability Aware Energy Management for Real-Time Tasks with Probabilistic Execution Times (Abstract)

pp. 313-322

PDF

Efficient Power Management of Heterogeneous Soft Real-Time Clusters (Abstract)

Leping Wang

Ying Lu

pp. 323-332

PDF

Real-Time Querying of Historical Data in Flash-Equipped Sensor Devices (Abstract)

pp. 335-344

PDF

OPAG: Opportunistic Data Aggregation in Wireless Sensor Networks (Abstract)

Zhigang Chen

Kang G. shin

pp. 345-354

PDF

MDS: Efficient Multi-dimensional Query Processing in Data-Centric WSNs (Abstract)

Hanhua Chen

Mo Li

Hai Jin

Yunhao Liu

Lionel M. Ni

pp. 355-364

PDF

The EDF Scheduling of Sporadic Task Systems on Uniform Multiprocessors (Abstract)

Sanjoy Baruah

Joel Goossens

pp. 367-374

PDF

A Unified Hard/Soft Real-Time Schedulability Test for Global EDF Multiprocessor Scheduling (Abstract)

Hennadiy Leontyev

James H. Anderson

pp. 375-384

PDF

Scheduling Arbitrary-Deadline Sporadic Task Systems on Multiprocessors (Abstract)

pp. 385-394

PDF

Static-Priority Real-Time Scheduling: Response Time Computation Is NP-Hard (Abstract)

Friedrich Eisenbrand

Thomas Rothvoß

pp. 397-406

PDF

Response Time Upper Bounds for Fixed Priority Real-Time Systems (Abstract)

R.I. Davis

A. Burns

pp. 407-418

PDF

Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks (Abstract)

Zheng Shi

Alan Burns

pp. 421-430

PDF

Optimal Sampling Rate Assignment with Dynamic Route Selection for Real-Time Wireless Sensor Networks (Abstract)

Weihuan Shu

Xue Liu

Zonghua Gu

Sathish Gopalakrishnan

pp. 431-441

PDF

Predictable Out-of-Order Execution Using Virtual Traces (Abstract)

Jack Whitham

Neil Audsley

pp. 445-455

PDF

WCET Analysis of Multi-level Non-inclusive Set-Associative Instruction Caches (Abstract)

Damien Hardy

Isabelle Puaut

pp. 456-466

PDF

Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors (Abstract)

Sibin Mohan

Frank Mueller

pp. 467-477

PDF

Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems (Abstract)

pp. 481-491

PDF

Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization (Abstract)

Xue Liu

pp. 492-504

PDF

Scheduling Design and Verification for Open Soft Real-Time Systems (Abstract)

pp. 505-514

PDF

Author Index (PDF)

pp. 515-516

Publisher's Information (PDF)

pp. 518