CSDL - Proceedings E

Organizing Committee (PDF)

pp. ix

Program Committee (PDF)

pp. x

Reviewers (PDF)

pp. xi

Session 1: Energy-Aware Computing

Speed Modulation in Energy-Aware Real-Time Systems (Abstract)

Enrico Bini, Scuola Superiore S. Anna

Giorgio Buttazzo, University of Pavia

Giuseppe Lipari, Scuola Superiore S. Anna

pp. 3-10

PDF

Energy-Aware Memory Firewalling for QoS-Sensitive Applications (Abstract)

pp. 11-20

PDF

Energy Aware Non-Preemptive Scheduling for Hard Real-Time Systems (Abstract)

Ravindra Jejurikar, University of California, Irvine

Rajesh Gupta, University of California, San Diego

pp. 21-30

PDF

Session 2: Worst-Case Execution Time Analysis

A WCET-Oriented Static Branch Prediction Scheme for Real Time Systems (Abstract)

Francois Bodin, Universit? de Rennes I/Caps Entreprise - IRISA

Isabelle Puaut, Universit? de Rennes

pp. 33-40

PDF

Scheduling Analysis of Real-Time Systems with Precise Modeling of Cache Related Preemption Delay (Abstract)

Jan Staschulat, Institute of Computer and Communication Network Engineering

Simon Schliecker, Institute of Computer and Communication Network Engineering

Rolf Ernst, Institute of Computer and Communication Network Engineering

pp. 41-48

PDF

Cache Contents Selection for Statically-Locked Instruction Caches: An Algorithm Comparison (Abstract)

Antonio Mart? Campoy, Technical University of Valencia

Isabelle Puaut, Universit? de Rennes / IRISA

Angel Perles Ivars, Technical University of Valencia

Jose Vicente Busquets Mataix, Technical University of Valencia

pp. 49-56

PDF

Session 3: Programming Languages, Modeling and Validation Techniques

Automated Model-Based Generation of Ravenscar-Compliant Source Code (Abstract)

Matteo Bordin, University of Padua

Tullio Vardanega, University of Padua

pp. 59-67

PDF

Component-Based Approach to Run-Time Kernel Specification and Verification (Abstract)

Gustaf Naeser, M?lardalen University

Kristina Lundqvist, Massachusetts Institute of Technology

pp. 68-76

PDF

Session 4: Operating Systems Support

A Space-Optimal Wait-Free Real-Time Synchronization Protocol (PDF)

Hyeonjoong Cho, Virginia Tech

Binoy Ravindran, Virginia Tech

E. Douglas Jensen, The MITRE Corporation

pp. 79-88

Fast Component Interaction for Real-Time Systems (Abstract)

Udo Steinberg, Technische Universit?t Dresden

Jean Wolter, Technische Universit?t Dresden

Hermann H?rtig, Technische Universit?t Dresden

pp. 89-97

PDF

Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems (Abstract)

Tullio Facchinetti, University of Pavia

Giorgio Buttazzo, University of Pavia

Mauro Marinoni, University of Pavia

Giacomo Guidi, University of Pavia

pp. 98-105

PDF

Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime (Abstract)

Sebastian Fischmeister, University of Pennsylvania

Klemens Winkler, University of Salzburg

pp. 106-114

PDF

A Fully Polynomial-Time Approximation Scheme for Feasibility Analysis in Static-Priority Systems with Arbitrary Relative Deadlines (Abstract)

Session 5: Scheduling and Schedulability Analysis

Nathan Fisher, University of North Carolina at Chapel Hill

Sanjoy Baruah, University of North Carolina at Chapel Hill

pp. 117-126

PDF

Fast and Tight Response-Times for Tasks with Offsets (Abstract)

Jukka M?ki-Turja, M?lardalen Real-Time Research Centre (MRTC)

Mikael Nolin, M?lardalen Real-Time Research Centre (MRTC)

pp. 127-136

PDF

The Limited-Preemption Uniprocessor Scheduling of Sporadic Task Systems (Abstract)

Sanjoy Baruah, University of North Carolina, Chapel Hill

pp. 137-144

PDF

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

Spare CASH: Reclaiming Holes to Minimize Aperiodic Response Times in a Firm Real-Time Environment (Abstract)

Deepu C. Thomas, Microsoft Corporation

Sathish Gopalakrishnan, University of Illinois at Urbana-Champaign

Marco Caccamo, University of Illinois at Urbana-Champaign

Chang-Gun Lee, Ohio State University, Columbus

pp. 147-156

PDF

Scheduling Tasks with Markov-Chain Based Constraints (Abstract)

Donglin Liu, University of Notre Dame

Xiaobo Sharon Hu, University of Notre Dame

Michael D. Lemmon, University of Notre Dame

Qiang Ling, University of Notre Dame

pp. 157-166

PDF

Real-Time Scheduling for Data Stream Management Systems (Abstract)

Sven Schmidt, Dresden University of Technology

Thomas Legler, Dresden University of Technology

Daniel Schaller, Dresden University of Technology

Wolfgang Lehner, Dresden University of Technology

pp. 167-176

PDF

A Robust Implicit Access Protocol for Real-Time Wireless Collaboration (Abstract)

Tanya L. Crenshaw, University of Illinois

Ajay Tirumala, University of Illinois

Spencer Hoke, University of Illinois

Marco Caccamo, University of Illinois

pp. 177-186

PDF

Session 7: Multiprocessor Systems

Bounding Worst-Case Access Times in Modern Multiprocessor Systems (Abstract)

J?rgen Stohr, Institute for Real-Time Computer Systems

Alexander von B?, Institute for Real-Time Computer Systems

Georg F?rber, Technische Universit?t M?nchen

pp. 189-198

PDF

An EDF-based Scheduling Algorithm for Multiprocessor Soft Real-Time Systems (Abstract)

James H. Anderson, University of North Carolina at Chapel Hill

Vasile Bud, University of North Carolina at Chapel Hill

UmaMaheswari C. Devi, University of North Carolina at Chapel Hill

pp. 199-208

PDF

Improved Schedulability Analysis of EDF on Multiprocessor Platforms (Abstract)

Marko Bertogna, Scuola Superiore Sant?Anna

Michele Cirinei, Scuola Superiore Sant?Anna

Giuseppe Lipari, Scuola Superiore Sant?Anna

pp. 209-218

PDF

Task Assignment on Uniform Heterogeneous Multiprocessors (Abstract)

Shelby Funk, University of Georgia

Sanjoy Baruah, University of North Carolina

pp. 219-226

PDF

Session 8: Applications of Real-Time Computing

Thomas Gustafsson, Link?ping University

Hugo Hallqvist, Link?ping University

J?rgen Hansson, Link?ping University

pp. 229-238

PDF

A Performance and Schedulability Analysis of an Autonomous Mobile Robot (Abstract)

Ala Qadi, University of Nebraska--Lincoln

Steve Goddard, University of Nebraska--Lincoln

Jiangyang Huang, University of Nebraska--Lincoln

Shane Farritor, University of Nebraska--Lincoln

pp. 239-248

PDF

Applying Static WCET Analysis to Automotive Communication Software (Abstract)

Susanna Byhlin, M?lardalen University

Andreas Ermedahl, M?lardalen University

Jan Gustafsson, M?lardalen University

Bj? Lisper, M?lardalen University

pp. 249-258

PDF

Author Index

Author Index (PDF)

pp. 259