28th IEEE International Real-time Systems Symposium (Rtss 2007)
, by Institute of Electrical and Electronics Engineers- ISBN: 9780769530628 | 0769530621
- Cover: Paperback
- Copyright: 3/31/2008
Task Scheduling I | |
Robust Priority Assignment for Fixed Priority Real-Time Systems | p. 3 |
Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems | p. 15 |
Energy-Aware Scheduling for Streaming Applications on Chip Multiprocessors | p. 25 |
Hw/Sw Co-design | |
A UML-Based Design Framework for Time-Triggered Applications | p. 39 |
Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip | p. 49 |
Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development | p. 61 |
System Integration | |
Toward the Predictable Integration of Real-Time COTS Based Systems | p. 73 |
The Design of an EDF-Scheduled Resource-Sharing Open Environment | p. 83 |
A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems | p. 93 |
Adapting Futures: Scalability for Real-World Computing | p. 105 |
Schedulability Analysis | |
Techniques for Multiprocessor Global Schedulability Analysis | p. 119 |
Compositional Analysis Framework Using EDP Resource Models | p. 129 |
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines | p. 139 |
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms | p. 149 |
Distributed Systems | |
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems | p. 161 |
Scenario Aware Analysis for Complex Event Models and Distributed Systems | p. 171 |
Optimal Discrete Rate Adaptation for Distributed Real-Time Systems | p. 181 |
Sensor Networks: Design and Analysis | |
A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing | p. 193 |
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks | p. 203 |
An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor Networks | p. 214 |
Industrial Applications and Implementations | |
Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-Study | p. 227 |
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance | p. 239 |
Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts | p. 244 |
Performance Evaluation of a Self-Maintained Memory Module | p. 254 |
Database System and Data Processing | |
Chronos: Feedback Control of a Real Database System Performance | p. 267 |
I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded Databases | p. 277 |
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity | p. 288 |
Sensor Networks: Networking and Mobility | |
Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data Sources | p. 301 |
Rendezvous Planning in Mobility-Assisted Wireless Sensor Networks | p. 311 |
Facilitating Congestion Avoidance in Sensor Networks with a Mobile Sink | p. 321 |
Work-in-Progress Session | |
Linearizability and Schedulability | |
Deadline-Based Scheduling of Divisible Real-Time Loads with Setup Costs and Load Balancing Considered | |
Data Mule Scheduling for Data Collection in Sensor Networks | |
Detecting and Preventing DoS Attacks in Slack Scheduling | |
A Framework for Analyzing System Assumptions and Dependencies | |
QuickDriver: An Integrated Development Tool for Device Drivers In Embedded Systems | |
Time-Predictable L2 Caches for Real-Time Multi-core Processors | |
Period and Deadline Selection Problem for Real-Time Systems | |
Shared Stack Analysis in Transaction-Based Systems | |
Power-Efficient Real-Time Data Collection Using Mobile Robots | |
Probabilistic Estimation of Response Times through Large Deviations | |
WCET Analysis of Multi-core Processors | |
A Gravitational Task Model for Target Sensitive Real-Time Applications | |
Towards Optimal Hierarchical Resource Sharing In Open Environments | |
Initial Analysis of Bus Load Impact on Execution Time for Media Processing on Multiprocessor SoC | |
System Modeling, Verification, and Synthesis | |
Verifying Linear Real-Time Logic Specifications | p. 333 |
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems | p. 343 |
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking | p. 353 |
Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing | p. 365 |
Cyber-Physical Systems | |
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications | p. 379 |
Real-Time Query Scheduling for Wireless Sensor Networks | p. 389 |
The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures | p. 400 |
Task Scheduling II | |
Generalized Tardiness Bounds for Global Multiprocessor Scheduling | p. 413 |
Analysis of Hierarchical EDF Pre-emptive Scheduling | p. 423 |
Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers | p. 435 |
Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains | p. 447 |
Sensor Networks: Systems and Applications | |
FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System | p. 459 |
Sea Depth Measurement with Restricted Floating Sensors | p. 469 |
Castor: Secure Code Updates Using Symmetric Cryptosystems | p. 479 |
Author Index | p. 489 |
Table of Contents provided by Blackwell. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.