28. RTSS 2007: Tucson, Arizona, USA

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA. IEEE Computer Society 2007 BibTeX

Task Scheduling I

Robert I. Davis, Alan Burns:
Robust Priority Assignment for Fixed Priority Real-Time Systems. 3-14
Electronic Edition (link) BibTeX
G. Sudha Anil Kumar, G. Manimaran:
Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems. 15-24
Electronic Edition (link) BibTeX
Ruibin Xu, Rami G. Melhem, Daniel Mossé:
Energy-Aware Scheduling for Streaming Applications on Chip Multiprocessors. 25-38
Electronic Edition (link) BibTeX

Hw/Sw Co-design

Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong:
A UML-Based Design Framework for Time-Triggered Applications. 39-48
Electronic Edition (link) BibTeX
Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng:
Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. 49-60
Electronic Edition (link) BibTeX
Sangsoo Park, Walter Olds, Kang G. Shin, Shige Wang:
Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development. 61-72
Electronic Edition (link) BibTeX

System Integration

Rodolfo Pellizzoni, Marco Caccamo:
Toward the Predictable Integration of Real-Time COTS Based Systems. 73-82
Electronic Edition (link) BibTeX
Nathan Fisher, Marko Bertogna, Sanjoy K. Baruah:
The Design of an EDF-Scheduled Resource-Sharing Open Environment. 83-92
Electronic Edition (link) BibTeX
Roman Obermaisser:
A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems. 93-104
Electronic Edition (link) BibTeX
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy:
Adapting Futures: Scalability for Real-World Computing. 105-118
Electronic Edition (link) BibTeX

Schedulability Analysis

Sanjoy K. Baruah:
Techniques for Multiprocessor Global Schedulability Analysis. 119-128
Electronic Edition (link) BibTeX
Arvind Easwaran, Madhukar Anand, Insup Lee:
Compositional Analysis Framework Using EDP Resource Models. 129-138
Electronic Edition (link) BibTeX
Marek Chrobak, Mathilde Hurand, Jiri Sgall:
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines. 139-148
Electronic Edition (link) BibTeX
Marko Bertogna, Michele Cirinei:
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms. 149-160
Electronic Edition (link) BibTeX

Distributed Systems

Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. 161-170
Electronic Edition (link) BibTeX
Rafik Henia, Rolf Ernst:
Scenario Aware Analysis for Complex Event Models and Distributed Systems. 171-180
Electronic Edition (link) BibTeX
Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos:
Optimal Discrete Rate Adaptation for Distributed Real-Time Systems. 181-192
Electronic Edition (link) BibTeX

Sensor Networks: Design and Analysis

Jens B. Schmitt, Frank A. Zdarsky, Lothar Thiele:
A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing. 193-202
Electronic Edition (link) BibTeX
Vibha Prasad, Ting Yan, Praveen Jayachandran, Zengzhong Li, Sang Hyuk Son, John A. Stankovic, Jörgen Hansson, Tarek F. Abdelzaher:
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks. 203-213
Electronic Edition (link) BibTeX
Chung-Ching Shen, William Plishker, Shuvra S. Bhattacharyya, Neil Goldsman:
An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor Networks. 214-226
Electronic Edition (link) BibTeX

Industrial Applications and Implementations

Jin Heo, Dan Henriksson, Xue Liu, Tarek F. Abdelzaher:
Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-Study. 227-238
Electronic Edition (link) BibTeX
Steve Vestal:
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. 239-243
Electronic Edition (link) BibTeX
Miao Liu, Zili Shao, Meng Wang, Hongxing Wei, Tianmiao Wang:
Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts. 244-253
Electronic Edition (link) BibTeX
Weixing Ji, Feng Shi, Baojun Qiao, Qi Zuo, Caixia Liu:
Performance Evaluation of a Self-Maintained Memory Module. 254-266
Electronic Edition (link) BibTeX

Database System and Data Processing

Kyoung-Don Kang, Jisu Oh, Sang Hyuk Son:
Chronos: Feedback Control of a Real Database System Performance. 267-276
Electronic Edition (link) BibTeX
Woochul Kang, Sang Hyuk Son, John A. Stankovic, Mehdi Amirijoo:
I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded Databases. 277-287
Electronic Edition (link) BibTeX
Honguk Woo, Aloysius K. Mok:
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. 288-300
Electronic Edition (link) BibTeX

Sensor Networks: Networking and Mobility

Ying Zhang, Shashidhar Gandham, Qingfeng Huang:
Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data Sources. 301-310
Electronic Edition (link) BibTeX
Guoliang Xing, Tian Wang, Zhihui Xie, Weijia Jia:
Rendezvous Planning in Mobility-Assisted Wireless Sensor Networks. 311-320
Electronic Edition (link) BibTeX
Kyriakos Karenos, Vana Kalogeraki:
Facilitating Congestion Avoidance in Sensor Networks with a Mobile Sink. 321-332
Electronic Edition (link) BibTeX

System Modeling, Verification, and Synthesis

Stefan Andrei, Albert M. K. Cheng:
Verifying Linear Real-Time Logic Specifications. 333-342
Electronic Edition (link) BibTeX
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele:
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. 343-352
Electronic Edition (link) BibTeX
Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu:
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. 353-364
Electronic Edition (link) BibTeX
Gabriel Parmer, Richard West:
Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing. 365-378
Electronic Edition (link) BibTeX

Cyber-Physical Systems

Qixin Wang, Xue Liu, Jennifer C. Hou, Lui Sha:
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications. 379-388
Electronic Edition (link) BibTeX
Octav Chipara, Chenyang Lu, Gruia-Catalin Roman:
Real-Time Query Scheduling for Wireless Sensor Networks. 389-399
Electronic Edition (link) BibTeX
Tanya L. Crenshaw, Elsa L. Gunter, C. L. Robinson, Lui Sha, P. R. Kumar:
The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. 400-412
Electronic Edition (link) BibTeX

Task Scheduling II

Hennadiy Leontyev, James H. Anderson:
Generalized Tardiness Bounds for Global Multiprocessor Scheduling. 413-422
Electronic Edition (link) BibTeX
Fengxiang Zhang, Alan Burns:
Analysis of Hierarchical EDF Pre-emptive Scheduling. 423-434
Electronic Edition (link) BibTeX
Jianjia Wu, Jyh-Charn Liu, Wei Zhao:
Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers. 435-446
Electronic Edition (link) BibTeX
Nuno Pereira, Björn Andersson, Eduardo Tovar, Anthony Rowe:
Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains. 447-458
Electronic Edition (link) BibTeX

Sensor Networks: Systems and Applications

Anthony Rowe, Dhiraj Goel, Raj Rajkumar:
FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System. 459-468
Electronic Edition (link) BibTeX
Zheng Yang, Mo Li, Yunhao Liu:
Sea Depth Measurement with Restricted Floating Sensors. 469-478
Electronic Edition (link) BibTeX
Donnie H. Kim, Rajeev Gandhi, Priya Narasimhan:
Castor: Secure Code Updates Using Symmetric Cryptosystems. 479-488
Electronic Edition (link) BibTeX