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
Task Scheduling I

G. Sudha Anil Kumar, G. Manimaran: Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems. 15-24
Ruibin Xu, Rami G. Melhem, Daniel Mossé: Energy-Aware Scheduling for Streaming Applications on Chip Multiprocessors. 25-38
Hw/Sw Co-design
Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong: A UML-Based Design Framework for Time-Triggered Applications. 39-48
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
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
System Integration
Rodolfo Pellizzoni, Marco Caccamo: Toward the Predictable Integration of Real-Time COTS Based Systems. 73-82
Nathan Fisher, Marko Bertogna, Sanjoy K. Baruah: The Design of an EDF-Scheduled Resource-Sharing Open Environment. 83-92
Roman Obermaisser: A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems. 93-104
Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy: Adapting Futures: Scalability for Real-World Computing. 105-118
Schedulability Analysis
Sanjoy K. Baruah: Techniques for Multiprocessor Global Schedulability Analysis. 119-128
Arvind Easwaran, Madhukar Anand, Insup Lee: Compositional Analysis Framework Using EDP Resource Models. 129-138
Marek Chrobak, Mathilde Hurand, Jiri Sgall: Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines. 139-148
Marko Bertogna, Michele Cirinei: Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms. 149-160
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
Rafik Henia, Rolf Ernst: Scenario Aware Analysis for Complex Event Models and Distributed Systems. 171-180
Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos: Optimal Discrete Rate Adaptation for Distributed Real-Time Systems. 181-192
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
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
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
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
Steve Vestal: Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance. 239-243
Miao Liu, Zili Shao, Meng Wang, Hongxing Wei, Tianmiao Wang: Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts. 244-253
Weixing Ji, Feng Shi, Baojun Qiao, Qi Zuo, Caixia Liu: Performance Evaluation of a Self-Maintained Memory Module. 254-266
Database System and Data Processing
Kyoung-Don Kang, Jisu Oh, Sang Hyuk Son: Chronos: Feedback Control of a Real Database System Performance. 267-276
Woochul Kang, Sang Hyuk Son, John A. Stankovic, Mehdi Amirijoo: I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded Databases. 277-287
Honguk Woo, Aloysius K. Mok: Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. 288-300
Sensor Networks: Networking and Mobility
Ying Zhang, Shashidhar Gandham, Qingfeng Huang: Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data Sources. 301-310
Guoliang Xing, Tian Wang, Zhihui Xie, Weijia Jia: Rendezvous Planning in Mobility-Assisted Wireless Sensor Networks. 311-320
Kyriakos Karenos, Vana Kalogeraki: Facilitating Congestion Avoidance in Sensor Networks with a Mobile Sink. 321-332
System Modeling, Verification, and Synthesis

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
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
Gabriel Parmer, Richard West: Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing. 365-378
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
Octav Chipara, Chenyang Lu, Gruia-Catalin Roman: Real-Time Query Scheduling for Wireless Sensor Networks. 389-399
Tanya L. Crenshaw, Elsa L. Gunter, Craig 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
Task Scheduling II
Hennadiy Leontyev, James H. Anderson: Generalized Tardiness Bounds for Global Multiprocessor Scheduling. 413-422
Jianjia Wu, Jyh-Charn Liu, Wei Zhao: Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers. 435-446
Nuno Pereira, Björn Andersson, Eduardo Tovar, Anthony Rowe: Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains. 447-458
Sensor Networks: Systems and Applications
Anthony Rowe, Dhiraj Goel, Raj Rajkumar: FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System. 459-468
Donnie H. Kim, Rajeev Gandhi, Priya Narasimhan: Castor: Secure Code Updates Using Symmetric Cryptosystems. 479-488



