17. ECRTS 2005: Palma de Mallorca, Spain

17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings. IEEE Computer Society 2005, ISBN 0-7695-2400-1 BibTeX

Introduction

Message from the Program Chair.
Electronic Edition (link) BibTeX
Organizing Committee.
Electronic Edition (link) BibTeX
Program Committee.
Electronic Edition (link) BibTeX
Reviewers.
Electronic Edition (link) BibTeX

Session 1: Energy-Aware Computing

Enrico Bini, Giorgio C. Buttazzo, Giuseppe Lipari:
Speed Modulation in Energy-Aware Real-Time Systems. 3-10
Electronic Edition (link) BibTeX
Anand Eswaran, Raj Rajkumar:
Energy-Aware Memory Firewalling for QoS-Sensitive Applications. 11-20
Electronic Edition (link) BibTeX
Ravindra Jejurikar, Rajesh K. Gupta:
Energy Aware Non-Preemptive Scheduling for Hard Real-Time Systems. 21-30
Electronic Edition (link) BibTeX

Session 2: Worst-Case Execution Time Analysis

François Bodin, Isabelle Puaut:
A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems. 33-40
Electronic Edition (link) BibTeX
Jan Staschulat, Simon Schliecker, Rolf Ernst:
Scheduling Analysis of Real-Time Systems with Precise Modeling of Cache Related Preemption Delay. 41-48
Electronic Edition (link) BibTeX
Antonio Martí Campoy, Isabelle Puaut, Angel Perles Ivars, José V. Busquets-Mataix:
Cache Contents Selection for Statically-Locked Instruction Caches: An Algorithm Comparison. 49-56
Electronic Edition (link) BibTeX

Session 3: Programming Languages, Modeling and Validation Techniques

Matteo Bordin, Tullio Vardanega:
Automated Model-Based Generation of Ravenscar-Compliant Source Code. 59-67
Electronic Edition (link) BibTeX
Gustaf Naeser, Kristina Lundqvist:
Component-Based Approach to Run-Time Kernel Specification and Verification. 68-76
Electronic Edition (link) BibTeX

Session 4: Operating Systems Support

Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen:
A Space-Optimal Wait-Free Real-Time Synchronization Protocol. 79-88
Electronic Edition (link) BibTeX
Udo Steinberg, Jean Wolter, Hermann Härtig:
Fast Component Interaction for Real-Time Systems. 89-97
Electronic Edition (link) BibTeX
Tullio Facchinetti, Giorgio C. Buttazzo, Mauro Marinoni, Giacomo Guidi:
Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems. 98-105
Electronic Edition (link) BibTeX
Sebastian Fischmeister, Klemens Winkler:
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime. 106-114
Electronic Edition (link) BibTeX

Session 5: Scheduling and Schedulability Analysis

Nathan Fisher, Sanjoy K. Baruah:
A Fully Polynomial-Time Approximation Scheme for Feasibility Analysis in Static-Priority Systems with Arbitrary Relative Deadlines. 117-126
Electronic Edition (link) BibTeX
Jukka Mäki-Turja, Mikael Nolin:
Fast and Tight Response-Times for Tasks with Offsets. 127-136
Electronic Edition (link) BibTeX
Sanjoy K. Baruah:
The Limited-Preemption Uniprocessor Scheduling of Sporadic Task Systems. 137-144
Electronic Edition (link) BibTeX

Session 6: Quality-of-Service Support and Wireless Sensor Networks

Deepu C. Thomas, Sathish Gopalakrishnan, Marco Caccamo, Chang-Gun Lee:
Spare CASH: Reclaiming Holes to Minimize Aperiodic Response Times in a Firm Real-Time Environment. 147-156
Electronic Edition (link) BibTeX
Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, Qiang Ling:
Scheduling Tasks with Markov-Chain Based Constraints. 157-166
Electronic Edition (link) BibTeX
Sven Schmidt, Thomas Legler, Daniel Schaller, Wolfgang Lehner:
Real-Time Scheduling for Data Stream Management Systems. 167-176
Electronic Edition (link) BibTeX
Tanya L. Crenshaw, Ajay Tirumala, Spencer Hoke, Marco Caccamo:
A Robust Implicit Access Protocol for Real-Time Wireless Collaboration. 177-186
Electronic Edition (link) BibTeX

Session 7: Multiprocessor Systems

Jürgen Stohr, Alexander von Bülow, Georg Färber:
Bounding Worst-Case Access Times in Modern Multiprocessor Systems. 189-198
Electronic Edition (link) BibTeX
James H. Anderson, Vasile Bud, UmaMaheswari C. Devi:
An EDF-based Scheduling Algorithm for Multiprocessor Soft Real-Time Systems. 199-208
Electronic Edition (link) BibTeX
Marko Bertogna, Michele Cirinei, Giuseppe Lipari:
Improved Schedulability Analysis of EDF on Multiprocessor Platforms. 209-218
Electronic Edition (link) BibTeX
Shelby Funk, Sanjoy K. Baruah:
Task Assignment on Uniform Heterogeneous Multiprocessors. 219-226
Electronic Edition (link) BibTeX

Session 8: Applications of Real-Time Computing

Thomas Gustafsson, Hugo Hallqvist, Jörgen Hansson:
A Similarity-Aware Multiversion Concurrency Control and Updating Algorithm for Up-to-Date Snapshots of Data. 229-238
Electronic Edition (link) BibTeX
Ala' Qadi, Steve Goddard, Jiangyang Huang, Shane Farritor:
A Performance and Schedulability Analysis of an Autonomous Mobile Robot. 239-248
Electronic Edition (link) BibTeX
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
Applying Static WCET Analysis to Automotive Communication Software. 249-258
Electronic Edition (link) BibTeX