13. RTAS 2007: Bellevue, Washington, USA

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2007, April 3-6, 2007, Bellevue, Washington, USA. IEEE Computer Society 2007, ISBN 978-0-7695-2800-7 BibTeX

HW/SW Interaction and Codesign

Makoto Ishikawa, D. J. McCune, George Saikalis, Shigeru Oho:
CPU Model-Based Hardware/Software Co-design, Co-simulation and Analysis Technology for Real-Time Embedded Control Systems. 3-11
Electronic Edition (link) BibTeX
Nobuyuki Yamasaki, Ikuo Magaki, Tsutomu Itou:
Prioritized SMT Architecture with IPC Control Method for Real-Time Processing. 12-21
Electronic Edition (link) BibTeX
Marco Di Natale, Enrico Bini:
Optimizing the FPGA Implementation of HRT Systems. 22-31
Electronic Edition (link) BibTeX
Zonghua Gu, Mingxuan Yuan, Xiuqiang He:
Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. 32-44
Electronic Edition (link) BibTeX

Networking

Ahlem Mifdaoui, Fabrice Frances, Christian Fraboul:
Full Duplex Switched Ethernet for Next Generation "1553B"-Based Applications. 45-56
Electronic Edition (link) BibTeX
Mark Lewandowski, Mark J. Stanovich, Theodore P. Baker, Kartik Gopalan, An-I Andy Wang:
Modeling Device Driver Effects in Real-Time Schedulability Analysis: Study of a Network Driver. 57-68
Electronic Edition (link) BibTeX
Bach Duy Bui, Rodolfo Pellizzoni, Marco Caccamo, Chin F. Cheah, Andrew Tzakis:
Soft Real-Time Chains for Multi-Hop Wireless Ad-Hoc Networks. 69-80
Electronic Edition (link) BibTeX

Scheduling

Ya-Shu Chen, Chi-Sheng Shih, Tei-Wei Kuo:
Dynamic Task Scheduling and Processing Element Allocation for Multi-Function SoCs. 81-90
Electronic Edition (link) BibTeX
Nathan Fisher, Marko Bertogna, Sanjoy K. Baruah:
Resource-Locking Durations in EDF-Scheduled Systems. 91-100
Electronic Edition (link) BibTeX
John M. Calandrino, Dan P. Baumberger, Tong Li, Scott Hahn, James H. Anderson:
Soft Real-Time Scheduling on Performance Asymmetric Multicore Platforms. 101-112
Electronic Edition (link) BibTeX

Middleware

Yuanfang Zhang, Chenyang Lu, Christopher D. Gill, Patrick J. Lardieri, Gautam H. Thaker:
Middleware Support for Aperiodic Tasks in Distributed Real-Time Systems. 113-122
Electronic Edition (link) BibTeX
Pablo Basanta-Val, Luís Almeida, Marisol García-Valls, Iria Estévez-Ayres:
Towards a Synchronous Scheduling Service on Top of a Unicast Distributed Real-Time Java. 123-132
Electronic Edition (link) BibTeX
Gabriel Parmer, Richard West:
Hijack: Taking Control of COTS Systems for Real-Time User-Level Services. 133-146
Electronic Edition (link) BibTeX

Systems Analysis and Scheduling

Rony Ghattas, Alexander G. Dean:
Preemption Threshold Scheduling: Stack Optimality, Enhancements and Analysis. 147-157
Electronic Edition (link) BibTeX
Paul Emberson, Iain Bate:
Minimising Task Migration and Priority Changes in Mode Transitions. 158-167
Electronic Edition (link) BibTeX
Rony Ghattas, Gregory S. Parsons, Alexander G. Dean:
Optimal Unified Data Allocation and Task Scheduling for Real-Time Multi-Tasking Systems. 168-182
Electronic Edition (link) BibTeX

Testing and Debugging

Joaquín Entrialgo, Javier García, José Luis Díaz, Daniel F. García:
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems. 183-192
Electronic Edition (link) BibTeX
Unmesh D. Bordoloi, Samarjit Chakraborty:
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis. 193-202
Electronic Edition (link) BibTeX
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar:
Testing Model-Processing Tools for Embedded Systems. 203-214
Electronic Edition (link) BibTeX

Energy Management

Bren Mochocki, Dinesh Rajan, Xiaobo Sharon Hu, Christian Poellabauer, Kathleen Otten, Thidapat Chantem:
Network-Aware Dynamic Voltage and Frequency Scaling. 215-224
Electronic Edition (link) BibTeX
Dakai Zhu, Hakan Aydin:
Reliability-Aware Energy Management for Periodic Real-Time Tasks. 225-235
Electronic Edition (link) BibTeX
Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo:
On the Minimization fo the Instantaneous Temperature for Periodic Real-Time Tasks. 236-248
Electronic Edition (link) BibTeX

Building Robust Systems

Jian-Jia Chen, Chuan-Yue Yang, Tei-Wei Kuo, Shau-Yin Tseng:
Real-Time Task Replication for Fault Tolerance in Identical Multiprocessor Systems. 249-258
Electronic Edition (link) BibTeX
Yang Zhao, Jie Liu, Edward A. Lee:
A Programming Model for Time-Synchronized Distributed Real-Time Systems. 259-268
Electronic Edition (link) BibTeX
Arne Hamann, Razvan Racu, Rolf Ernst:
Multi-dimensional Robustness Optimization in Heterogeneous Distributed Embedded Systems. 269-280
Electronic Edition (link) BibTeX

Distributed Real-Time Systems

Maarten Wiggers, Marco Bekooij, Pierre G. Jansen, Gerard J. M. Smit:
Efficient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure. 281-292
Electronic Edition (link) BibTeX
Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. 293-302
Electronic Edition (link) BibTeX
Xuan Lin, Ying Lu, Jitender S. Deogun, Steve Goddard:
Real-Time Divisible Load Scheduling for Cluster Computing. 303-314
Electronic Edition (link) BibTeX

Potpourri

Yue Yu, Shangping Ren, Kevin A. Kwiat:
Take Intelligent Risk and Optimize Decision Based on Time, Available Resources and Risk Tolerance Limits. 315-325
Electronic Edition (link) BibTeX
Jisu Oh, Kyoung-Don Kang:
An Approach for Real-Time Database Modeling and Performance Management. 326-336
Electronic Edition (link) BibTeX
Mathias Ekman, Henrik Thane:
Dynamic Patching of Embedded Software. 337-346
Electronic Edition (link) BibTeX