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 the Chairs (PDF)

pp. ix

Organizing Committee (PDF)

pp. x

Technical Program Committee (PDF)

pp. xi-xii

Reviewers (PDF)

pp. xiii-xiv

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

Adolfo Anta

Paulo Tabuada

pp. 3-12

PDF

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

Hahnsang Kim

Kang G. Shin

pp. 13-22

PDF

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

pp. 23-32

PDF

Rapid Early-Phase Virtual Integration (Abstract)

Lui Sha

pp. 33-44

PDF

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

Sudipta Chattopadhyay

Abhik Roychoudhury

pp. 47-56

PDF

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

Yan Li

pp. 57-67

PDF

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

pp. 68-77

PDF

Scheduling Hard Real-Time Garbage Collection (Abstract)

pp. 81-92

PDF

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

pp. 93-104

PDF

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

Yan Zhou

Kyoung-Don Kang

pp. 105-114

PDF

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

pp. 115-124

PDF

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

Yu Gu

Tian He

Mingen Lin

Jinhui Xu

pp. 127-137

PDF

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

pp. 138-147

PDF

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

pp. 148-157

PDF

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

Mu Sun

Lui Sha

pp. 161-170

PDF

Distributed, Modular HTL (Abstract)

Thomas A. Henzinger

Christoph M. Kirsch

Eduardo R. B. Marques

Ana Sokolova

pp. 171-180

PDF

Verifying Tolerant Systems Using Polynomial Approximations (Abstract)

Pavithra Prabhakar

Vladimeros Vladimerou

Mahesh Viswanathan

Geir E. Dullerud

pp. 181-190

PDF

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

Lui Sha

pp. 193-203

PDF

Wolfgang Schröder-Preikschat

Sloth: Threads as Interrupts (Abstract)

Wanja Hofer

Daniel Lohmann

Fabian Scheler

pp. 204-213

PDF

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

Björn B. Brandenburg

James H. Anderson

pp. 214-224

PDF

Towards Stable Network Performance in Wireless Sensor Networks (Abstract)

Tian He

pp. 227-237

PDF

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

Hossein Ahmadi

Tarek Abdelzaher

pp. 238-247

PDF

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

Mo Sha

pp. 248-257

PDF

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

pp. 261-270

PDF

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

pp. 271-280

PDF

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

Praveen Jayachandran

Tarek Abdelzaher

pp. 281-290

PDF

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

pp. 291-300

PDF

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

Jie Liu

pp. 303-312

PDF

Post-Deployment Performance Debugging in Wireless Sensor Networks (Abstract)

Zhigang Chen

Kang G. Shin

pp. 313-322

PDF

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

Rui Tan

pp. 323-332

PDF

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

pp. 333-342

PDF

Robustness of Model-Based Simulations (Abstract)

Georgios Fainekos

Sriram Sankaranarayanan

Franjo Ivancic

Aarti Gupta

pp. 345-354

PDF

Symbolic Robustness Analysis (Abstract)

Rupak Majumdar

Indranil Saha

pp. 355-363

PDF

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

Hans-Jörg Peter

Robert Mattmüller

pp. 364-374

PDF

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

Arvind Easwaran

Bjorn Andersson

pp. 377-386

PDF

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

Nan Guan

Martin Stigge

Wang Yi

Ge Yu

pp. 387-397

PDF

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

Robert I. Davis

Alan Burns

pp. 398-409

PDF

Multiprocessor Extensions to Real-Time Calculus (Abstract)

pp. 410-421

PDF

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

Cong Liu

James H. Anderson

pp. 425-436

PDF

Virtual Multiprocessor Platforms: Specification and Use (Abstract)

pp. 437-446

PDF

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

Konstantinos Bletsas

Björn Andersson

pp. 447-456

PDF

Gang EDF Scheduling of Parallel Task Systems (Abstract)

Shinpei Kato

Yutaka Ishikawa

pp. 459-468

PDF

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

pp. 469-478

PDF

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

pp. 479-488

PDF

Author Index (PDF)

pp. 489-490

Publisher's Information (PDF)

pp. 492