Conference program
| Thursday, November 4 | |||
| 9:00 - 9:15 | Welcome | ||
| 9:15 - 10:15 | Invited talk (chair: Yves Sorel) James Anderson (University of North Carolina at Chapel Hill, USA) Real-Time Multiprocessor Scheduling: Connecting Theory and Practice slides The advent of multicore technologies has sparked much recent work on algorithms for scheduling multiprocessor real-time workloads. In such work, scheduling-theoretic issues have received the greatest attention (by far). In an attempt to determine how various scheduling approaches compare in the face of practical considerations, the Real-Time Systems Group at The University of North Carolina at Chapel Hill developed a real-time Linux extension called LITMUSRT (LInux Testbed for MUltiprocessor Scheduling in Real-Time systems). LITMUSRT has been used in a number of experimental studies in which real-time scheduling and synchronization algorithms have been compared on the basis of schedulability with real overheads considered. In this talk, I will present an overview of LITMUSRT and some of the experimental studies conducted using it. I will distill from this overview some “lessons learned” that might be of interest as theoretical scheduling research pushes forward. I will also discuss some of the lessons our group has learned in creating an infrastructure for managing large-scale experimental studies. |
||
| 10:15 - 10:40 | Coffee break | ||
| 10:40 - 12:20 | Session 1. Uniprocessor scheduling 1 (chair: Alan Burns) | ||
| Quantifying the Sub-optimality of Uniprocessor Fixed
Priority Non-Pre-emptive Scheduling Robert Davis, Laurent George and Pierre Courbin slides |
|||
| An Optimum Generalized Equilibrium Solution for the
Gravitational Task Model Raphael Guerra and Gerhard Fohler |
|||
| The Fully Polynomial-Time Approximation Scheme for
Feasibility Analysis in Static-Priority Systems with Arbitrary
Relative Deadlines Revisited Thi Huyen Chau Nguyen, Pascal Richard and Nathan Fisher |
|||
| Improving rewards in overloaded real-time
systems Sathish Gopalakrishnan |
|||
| 12:20 - 13:45 | Lunch | ||
| 13:45 - 14:35 | Session 2. Uniprocessor scheduling 2 (chair: Joel Goossens) | ||
| On real-time physical systems Marco L. Della Vedova, Michele Ruggeri and Tullio Facchinetti slides |
|||
| Schedulability conditions for non-preemptive hard
real-time tasks with strict period Mohamed Marouf and Yves Sorel |
|||
| 14:35 - 15:35 | Junior Workshop short presentations (chairs: Roman Bourgade, Xiaoting Li, Vandy Berten) | ||
| 15:35 - 16:05 | Coffee break | ||
| 16:05 - 17:20 | Session 3. Networks (chair: Zoubir Mammeri) | ||
| Half-modeling of shaping in FIFO net with network
calculus Marc Boyer slides |
|||
| Applying Trajectory approach with static priority queuing
for improving the use of available AFDX
resources Henri Bauer, Jean-Luc Scharbarg and Christian Fraboul |
|||
| CoMem: Cooperative Memory Management for Real-Time
Operation within Reactive Sensor/Actor
Networks Marcel Baunach |
|||
| Friday, November 5 | |||
| 8:45 - 10:25 | Session 4. Verification and timing analysis (chair: Serge Midonnet) | ||
| Comparative Application of Real-Time Verification Methods
to an Automotive Architecture Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka, Matthias Traub, Torsten Bone and Jurgen Becker |
|||
| Reducing Queue Lock Pessimism in Multiprocessor
Schedulability Analysis Yang Chang, Robert Davis and Andy Wellings slides |
|||
| Shared
Data Cache Conflicts Reduction for WCET Computation in
Multi-Core Architectures Benjamin Lesage, Isabelle Puaut and Damien Hardy slides |
|||
| Timing Analysis of
Real-Time Embedded Systems using Model Checking Vallabh Anwikar and Purandar Bhaduri slides |
|||
| 10:25 - 10:55 | Coffee break | ||
| 10:55 - 11:45 | Session 5. Dynamic voltage and frequency scheduling (Sathish Gopalakrishnan) | ||
| Reducing the Number of Preemptions in
Real-Time Systems Scheduling by CPU Frequency Scaling Abhilash Thekkilakattil, Anju Pillai, Radu Dobrin and Sasikumar Punnekkat slides |
|||
| A Practical
Slack-time Analysis Method for DVS Real-time Scheduling Da-Ren Chen, You-Shyang Chen and Min-Fong Lai |
|||
| 11:45 - 12:35 | Session 6. Fault tolerance (chair: Rob Davis) | ||
| Scheduling Analysis under
Fault Bursts Florian Many and David Doose slides |
|||
| Early
Error Detection for Fault Tolerance Strategies Matthieu Roy, Thomas Robert and Jean-Charles Fabre |
|||
| 12:35 - 14:00 | Lunch | ||
| 14:00 - 15:15 | Session 7. Multiprocessor scheduling 1 (chair: Laurent George) | ||
| Partitioned
EDF Scheduling for Multiprocessors using a C=D Scheme Alan Burns, Fengxiang Zhang and Robert Davis |
|||
| Partition Scheduling on an IMA Platform with Strict Periodicity
and Communication Delays Ahmad Al Sheikh, Olivier Brun and Pierre-Emmanuel Hladik |
|||
| Gang FTP scheduling of
periodic and parallel rigid real-time tasks Joel Goossens and Vandy Berten slides |
|||
| 15:15 - 15:45 | Coffee break | ||
| 15:45 - 17:00 | Session 8. Multiprocessor scheduling 2 (chair: Pascal Richard) | ||
| Real-Time Multiprocessor
Systems with GPUs Glenn Elliott and James Anderson |
|||
| Semi-Partitioned Hard Real-Time Scheduling
with Restricted Migrations upon Identical Multiprocessor Platforms François Dorin, Patrick Meumeu Yomsi, Joel Goossens and Pascal Richard |
|||
| Robust Partitioned
Scheduling for Static-Priority Real-Time Multiprocessor Systems
with Shared Resources Frédéric Fauberteau and Serge Midonnet |
|||