Robust Partitioned Scheduling for Static-Priority Real-Time Multiprocessor Systems with Shared Resources

Frédéric Fauberteau (1) , Serge Midonnet (1)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge

We focus on the partitioned scheduling of sporadic real-time tasks with constrained deadlines. The scheduling policy on each processor is static-priority. The considered tasks are not independent and the consistency of these shared data is ensured by a multiprocessor synchronization protocol. Considering these assumptions, we propose a partitioned scheduling algorithm which tends to maximize the robustness of the tasks to the Worst Case Execution Time (WCET) overruns faults. We describe the context of the problem and we outline our solution based on simulated annealing.

Domaines: Systèmes embarqués

Frédéric Fauberteau, Serge Midonnet. Robust Partitioned Scheduling for Static-Priority Real-Time Multiprocessor Systems with Shared Resources. 18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.217-225. ⟨hal-00546968⟩