9:15 – 9:45

Registration at Fundació "la Caixa"

9:30 – 9:45

Welcome and Opening Remarks

9:45 – 11:15

Session 1: Energy-Aware Computing
Chair: Gerhard Fohler

Speed Modulation in Energy-Aware Real-Time Systems
Enrico Bini, Giorgio Buttazzo, Giusepe Lipari; Scuola Superiore Sant'Anna and University of Pavia, Italy

Energy-Aware Memory Firewalling for QoS-Sensitive Applications
Anand Eswaran, Raj Rajkumar; Carnegie Mellon University, USA

Energy Aware Non-preemptive Scheduling for Hard Real-time Systems
Ravindra Jejurikar, Rajesh Gupta; University of California at Irvine and University of California at San Diego , USA

11:15 – 11:45

Coffee Break

11:45 – 13:15

Session 2: Worst-Case Execution Time Analysis
Chair: Peter Puschner

A WCET-Oriented Static Branch Prediction Scheme for Real-time Systems
François Bodin, Isabelle Puaut; IRISA, France

Scheduling Analysis of Real-time Systems with Precise Modeling of Cache Related Preemption Delay
Jan Staschulat, Simon Schliecker, Rolf Ernst; University of Braunschweig , Germany

Cache Contents Selection for Statically-locked Instruction Caches: an Algorithm Comparison
Antonio Campoy, Isabelle Puaut, Angel Ivars, Jose Mataix; Technical University of Valencia, Spain and IRISA, France

13:15 – 14:45

Lunch Break (Restaurant Rodeo Grill)

14:45 – 15:45

Keynote Address 1
Chair: Eduardo Tovar

Embedded Software for Mobile Terminals
Speaker: Johan Eker; Ericsson Mobile Platforms AB

15:45 – 16:45

Work-In-Progress Session 1
Chair: Isabelle Puaut

16:45 – 17:15

WIP Poster Session 1 and Coffee Break

17:15 – 18:15

Session 3: Programming Languages, Modeling and Validation Techniques
Chair: Luís Miguel Pinho

On the Automated Generation of Ravenscar-compliant Source Code
Matteo Bordin, Tullio Vardanega; University of Padua, Italy

Component-Based Approach to Run-Time Kernel Specification and Verification
Gustaf Naeser, Kristina Lundqvist; Mälardalen University , Sweden and MIT , USA

19:30 –

Welcome Reception. Bus departs from Fundació "la Caixa"

9:15 – 11:15

Session 4: Operating Systems Support
Chair: Sanjoy Baruah

A Space-Optimal Wait-Free Real-Time Synchronization Protocol
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen; Virginia Tech and The MITRE Corporation, USA

Fast Component Interaction for Real-Time Systems
Udo Steinberg, Jean Wolter, Hermann Härtig; Technical University of Dresden , Germany

Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems
Tullio Fachinetti, Giorgio Buttazzo, Mauro Marinoni, Giacomo Guidi; University of Pavia, Italy

Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime
Sebastian Fischmeister, Klemens Winkler; University of Pennsylvania , USA and University of Salzburg , Austria

11:15 – 11:45

Coffee Break

11:45 – 13:15

Session 5: Scheduling and Schedulability Analysis
Chair: Giorgio Buttazzo

A Fully Polynomial-Time Approximation Scheme for Feasibility Analysis in Static-Priority Systems with Arbitrary Relative Deadlines
Nathan Fisher, Sanjoy Baruah; University of North Carolina at Chapel Hill , USA

Fast and Tight Response-Times for Tasks with Offsets
Jukka Mäki-Turja, Mikael Nolin; Mälardalen University , Sweden

The Limited-Preemption Uniprocessor Scheduling of Sporadic Task Systems
Sanjoy Baruah; University of North Carolina at Chapel Hill , USA

13:15 – 14:45

Lunch Break (Restaurant Rodeo Grill)

14:45 – 16:45

Session 6: Quality of Service Support and Wireless Sensor Networks
Chair: Luis Almeida

Spare CASH: Reclaiming Holes to Minimize Aperiodic Response Times in a Firm Real-Time Environment
Deepu Thomas, Sathish Gopalakrishnan, Marco Caccamo, Chang-Gun Lee; University of Illinois at Urbana-Champaign , USA

Scheduling Tasks with Markov-Chain Based Constraints
Donglin Liu, Xiaobo Hu, Michael Lemmon, Qiang Ling; University of Notre Dame , USA

Real-time Scheduling for Data Stream Management Systems
Sven Schmidt, Thomas Legler, Daniel Schaller, Wolfgang Lehner; Dresden University of Technology , Germany

A Robust Implicit Access Protocol for Real-Time Wireless Collaboration
Tanya Crenshaw, Ajay Tirumala, Spencer Hoke, Marco Caccamo; University of Illinois at Urbana-Champaign , USA

16:45 – 17:15

Coffee Break

17:15 – 18:15

Keynote Address 2
Chair: Guillem Bernat

Overwhelming Complexity
Speaker: Jan Lindblad; ENEA AB

19:30 –

Excursion and Banquet. Bus departs from Fundació "la Caixa".

10:00 – 11:00

Session 7a: Multiprocessor Systems
Chair: Michael Gonzalez-Harbour

Bounding Worst Case Access Times in Modern Multiprocessor Systems
Jürgen Stohr, Alexander von Bülow, Georg Färber; Technical University of Munich, Germany

An EDF-based Scheduling Algorithm for Multiprocessor Soft Real-Time Systems
James H. Anderson, Vasile Bud, UmaMaheswari C. Devi; University of North Carolina at Chapel Hill, USA

11:00 – 11:30

Coffee Break

11:30 – 12:30

Session 7b: Multiprocessor Systems
Chair: Michael Gonzalez-Harbour

Improved Schedulability Analysis of EDF on Multiprocessor Platforms
Marko Bertogna, Michele Cirinei, Guiseppe Lipari; Scuola Superiore Sant'Anna, Italy

Task Assignment on Uniform Heterogeneous Multiprocessors
Shelby Funk, Sanjoy Baruah; University of Georgia at Athens and University of North Carolina at Chapel Hill , USA

12:30 – 13:00

Special Session
Chair: Gerhard Fohler

Real-Time and Embedded Systems: Research Opportunities in the IST Thematic Priority of the 6FP
Speaker: Mercè Griera I Fisa, Project Officer, Embedded Systems Unit of the IST Programme, European Commission - DG Information Society

13:00 – 14:30

Lunch Break

14:30 – 15:30

Work-In-Progress Session 2
Chair: Isabelle Puaut

15:30 – 16:00

WIP Poster Session 2 and Coffee Break

16:00 – 17:30

Session 8: Applications of Real-time Computing
Chair: Jean-Dominique Decotignie

A Similarity-aware Multiversion Concurrency Control and Updating Algorithm for Up-to-date Snapshots of Data
Thomas Gustafsson, Hugo Hallqvist, Jörgen Hansson; Linköping University , Sweden

A Performance and Schedulability Analysis of an Autonomous Mobile Robot
Ala ' Qadi, Steve Goddard, Jiangyang Huang, Shane Farritor; University of Nebraska at Lincoln , USA

Applying Static WCET Analysis to Automotive Communication Software
Susana Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper; Mälardalen University , Sweden

17:30

Closing Remarks