14. RTAS 2008: St. Louis, Missouri, USA

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008, April 22-24, 2008, St. Louis, Missouri, USA. IEEE Computer Society 2008, ISBN 978-0-7695-3146-5 BibTeX

Power Management

Yan Gu, Samarjit Chakraborty:
A Hybrid DVS Scheme for Interactive 3D Games. 3-12
Electronic Edition (link) BibTeX
Jian-Jia Chen, Chuan-Yue Yang, Hsueh-I Lu, Tei-Wei Kuo:
Approximation Algorithms for Multiprocessor Energy-Efficient Scheduling of Periodic Real-Time Tasks with Uncertain Task Execution Time. 13-23
Electronic Edition (link) BibTeX
Saowanee Saewong, Raj Rajkumar:
Coexistence of Real-Time and Interactive & Batch Tasks in DVS Systems. 24-33
Electronic Edition (link) BibTeX
Vinay Devadas, Hakan Aydin:
Real-Time Dynamic Power Management through Device Forbidden Regions. 34-44
Electronic Edition (link) BibTeX

Execution Time Analysis

Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad:
A Modular Worst-case Execution Time Analysis Tool for Java Processors. 47-57
Electronic Edition (link) BibTeX
Harini Ramaprasad, Frank Mueller:
Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions. 58-67
Electronic Edition (link) BibTeX
Juan A. Colmenares, Chansik Im, K. H. (Kane) Kim, Raymond Klefstad, Chae-Deok Lim:
Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors. 68-79
Electronic Edition (link) BibTeX
Jun Yan, Wei Zhang:
WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches. 80-89
Electronic Edition (link) BibTeX

Quality of Service

Amogh Kavimandan, Aniruddha S. Gokhale:
Automated Middleware QoS Configuration Techniques for Distributed Real-time and Embedded Systems. 93-102
Electronic Edition (link) BibTeX
Nicola Manica, Luca Abeni, Luigi Palopoli:
QoS Support in the X11 Window System. 103-112
Electronic Edition (link) BibTeX
Jaiganesh Balasubramanian, Sumant Tambe, Balakrishnan Dasarathy, Shrirang Gadgil, Frederick Porter, Aniruddha S. Gokhale, Douglas C. Schmidt:
NetQoPE: A Model-Driven Network QoS Provisioning Engine for Distributed Real-time and Embedded Systems. 113-122
Electronic Edition (link) BibTeX
Krishnakumar Balasubramanian, Douglas C. Schmidt:
Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware. 123-134
Electronic Edition (link) BibTeX

Model-Based Development

Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee:
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. 137-146
Electronic Edition (link) BibTeX
Roberto Lublinerman, Stavros Tripakis:
Modular Code Generation from Triggered and Timed Block Diagrams. 147-158
Electronic Edition (link) BibTeX
Rajeev Alur, Gera Weiss:
Regular Specifications of Resource Requirements for Embedded Control Software. 159-168
Electronic Edition (link) BibTeX
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli:
Optimizing the Implementation of Communication in Synchronous Reactive Models. 169-179
Electronic Edition (link) BibTeX

Distributed Systems

Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit:
Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication. 183-194
Electronic Edition (link) BibTeX
Karthik Lakshmanan, Raj Rajkumar:
Distributed Resource Kernels: OS Support for End-To-End Resource Isolation. 195-204
Electronic Edition (link) BibTeX
Thomas Huining Feng, Edward A. Lee:
Real-Time Distributed Discrete-Event Execution with Fault Tolerance. 205-214
Electronic Edition (link) BibTeX
Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty:
Schedulability Analysis of MSC-based System Models. 215-224
Electronic Edition (link) BibTeX

Scheduling

Rodrigo Santos, Giuseppe Lipari, Enrico Bini:
Efficient On-line Schedulability Test for Feedback Scheduling of Soft Real-Time Tasks under Fixed-Priority. 227-236
Electronic Edition (link) BibTeX
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet:
Equivalence between Schedule Representations: Theory and Applications. 237-247
Electronic Edition (link) BibTeX
Sanjoy K. Baruah, Nathan Fisher:
Hybrid-priority Scheduling of Resource-Sharing Sporadic Task Systems. 248-257
Electronic Edition (link) BibTeX
Johan Kraft, Yue Lu, Christer Norström, Anders Wall:
A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems. 258-269
Electronic Edition (link) BibTeX

Hardware-Software Co-Design

Rodolfo Pellizzoni, Marco Caccamo:
Hybrid Hardware-Software Architecture for Reconfigurable Real-Time Systems. 273-284
Electronic Edition (link) BibTeX
Sibin Mohan, Frank Mueller:
Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions. 285-294
Electronic Edition (link) BibTeX
Mingxuan Yuan, Xiuqiang He, Zonghua Gu:
Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. 295-304
Electronic Edition (link) BibTeX
Jack Whitham, Neil C. Audsley:
Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures. 305-316
Electronic Edition (link) BibTeX

Operating Systems

Tim Kaldewey, Theodore M. Wong, Richard A. Golding, Anna Povzner, Scott A. Brandt, Carlos Maltzahn:
Virtualizing Disk Performance. 319-330
Electronic Edition (link) BibTeX
Mark J. Stanovich, Theodore P. Baker, An-I Andy Wang:
Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements. 331-341
Electronic Edition (link) BibTeX
Björn B. Brandenburg, John M. Calandrino, Aaron Block, Hennadiy Leontyev, James H. Anderson:
Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin? 342-353
Electronic Edition (link) BibTeX
Zane D. Purvis, Alexander G. Dean:
TOSSTI: Saving Time and Energy in TinyOS with Software Thread Integration. 354-363
Electronic Edition (link) BibTeX

Networking and Security

Qixin Wang, Sathish Gopalakrishnan, Xue Liu, Lui Sha:
A Switch Design for Real-Time Industrial Networks. 367-376
Electronic Edition (link) BibTeX
Jianping Song, Song Han, Aloysius K. Mok, Deji Chen, Mike Lucas, Mark Nixon, Wally Pratt:
WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. 377-386
Electronic Edition (link) BibTeX
Tommaso Cucinotta:
Access Control for Adaptive Reservations on Multi-User Systems. 387-396
Electronic Edition (link) BibTeX