CSDL - Proceedings R

Organizing Committee (PDF)

pp. xi-xii

Program Committee (PDF)

pp. xiii-xiv

Reviewers (PDF)

pp. xv-xvi

Task Scheduling I

Robust Priority Assignment for Fixed Priority Real-Time Systems (Abstract)

R. I. Davis

A. Burns

pp. 3-14

PDF

Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems (Abstract)

G. Sudha Anil Kumar

G. Manimaran

pp. 15-24

PDF

Energy-Aware Scheduling for Streaming Applications on Chip Multiprocessors (Abstract)

pp. 25-38

PDF

Hw/Sw Co-design

A UML-Based Design Framework for Time-Triggered Applications (Abstract)

pp. 39-48

PDF

Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip (Abstract)

pp. 49-60

PDF

Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development (Abstract)

pp. 61-72

PDF

System Integration

Toward the Predictable Integration of Real-Time COTS Based Systems (Abstract)

Rodolfo Pellizzoni

Marco Caccamo

pp. 73-82

PDF

The Design of an EDF-Scheduled Resource-Sharing Open Environment (Abstract)

pp. 83-92

PDF

A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems (Abstract)

R. Obermaisser

pp. 93-104

PDF

Adapting Futures: Scalability for Real-World Computing (Abstract)

pp. 105-118

PDF

Schedulability Analysis

Techniques for Multiprocessor Global Schedulability Analysis (Abstract)

Sanjoy Baruah

pp. 119-128

PDF

Compositional Analysis Framework Using EDP Resource Models (Abstract)

pp. 129-138

PDF

Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines (Abstract)

pp. 139-148

PDF

Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms (Abstract)

Marko Bertogna

Michele Cirinei

pp. 149-160

PDF

Alberto Sangiovanni Vincentelli

Distributed Systems

Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems (Abstract)

Wei Zheng

Qi Zhu

Marco Di Natale

pp. 161-170

PDF

Scenario Aware Analysis for Complex Event Models and Distributed Systems (Abstract)

Rafik Henia

Rolf Ernst

pp. 171-180

PDF

Optimal Discrete Rate Adaptation for Distributed Real-Time Systems (Abstract)

pp. 181-192

PDF

Sensor Networks: Design and Analysis

A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing (Abstract)

pp. 193-202

PDF

ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks (Abstract)

pp. 203-213

PDF

An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor Networks (Abstract)

Chung-Ching Shen

William Plishker

Shuvra S. Bhattacharyya

Neil Goldsman

pp. 214-226

PDF

Industrial Applications and Implementations

Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-Study (Abstract)

Jin Heo

Dan Henriksson

Xue Liu

Tarek Abdelzaher

pp. 227-238

PDF

Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance (Abstract)

Steve Vestal

pp. 239-243

PDF

Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts (Abstract)

pp. 244-253

PDF

Performance Evaluation of a Self-Maintained Memory Module (Abstract)

Qi Zuo

pp. 254-266

PDF

Database System and Data Processing

Chronos: Feedback Control of a Real Database System Performance (Abstract)

Kyoung-Don Kang

Jisu Oh

Sang H. Son

pp. 267-276

PDF

I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded Databases (Abstract)

pp. 277-287

PDF

Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity (Abstract)

Honguk Woo

Aloysius K. Mok

pp. 288-300

PDF

Sensor Networks: Networking and Mobility

Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data Sources (Abstract)

pp. 301-310

PDF

Rendezvous Planning in Mobility-Assisted Wireless Sensor Networks (Abstract)

pp. 311-320

PDF

Facilitating Congestion Avoidance in Sensor Networks with a Mobile Sink (Abstract)

Kyriakos Karenos

Vana Kalogeraki

pp. 321-332

PDF

System Modeling, Verification, and Synthesis

Verifying Linear Real-Time Logic Specifications (Abstract)

Stefan Andrei

Albert M. K. Cheng

pp. 333-342

PDF

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems (Abstract)

pp. 343-352

PDF

Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking (Abstract)

Ge Yu

pp. 353-364

PDF

Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing (Abstract)

Gabriel Parmer

Richard West

pp. 365-378

PDF

Cyber-Physical Systems

GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications (Abstract)

Qixin Wang

Xue Liu

Jennifer Hou

Lui Sha

pp. 379-388

PDF

Real-Time Query Scheduling for Wireless Sensor Networks (Abstract)

pp. 389-399

PDF

The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures (Abstract)

Lui Sha

pp. 400-412

PDF

Task Scheduling II

Generalized Tardiness Bounds for Global Multiprocessor Scheduling (Abstract)

Hennadiy Leontyev

James H. Anderson

pp. 413-422

PDF

Analysis of Hierarchical EDF Pre-emptive Scheduling (Abstract)

Fengxiang Zhang

Alan Burns

pp. 423-434

PDF

Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers (Abstract)

pp. 435-446

PDF

Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains (Abstract)

pp. 447-458

PDF

Sensor Networks: Systems and Applications

FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System (Abstract)

pp. 459-468

PDF

Sea Depth Measurement with Restricted Floating Sensors (Abstract)

Zheng Yang

Mo Li

Yunhao Liu

pp. 469-478

PDF

Castor: Secure Code Updates Using Symmetric Cryptosystems (Abstract)

pp. 479-488

PDF

Author Index

Author Index (PDF)

pp. 489-490