On the Optimality of Priority Assignment for Probabilistic Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

On the Optimality of Priority Assignment for Probabilistic Real-Time Systems

Dorin Maxim
  • Function : Author
  • PersonId : 884508
Olivier Buffet
Luca Santinelli
  • Function : Author
  • PersonId : 884507
Liliana Cucu-Grosjean
  • Function : Author
  • PersonId : 884506
Rob Davis

Abstract

In this paper we have identified three sub-problems re- lated to the optimal priority assignment for real-time sys- tems with probabilistic execution times when scheduled preemptively on one processor according to fixed prior- ities. For each sub-problem we propose an algorithm that is proved optimal. The first two algorithms are inspired from an existing priority assignment known as Audsley's algorithm which is a greedy (lowest priority first) algo- rithm. Since we prove that such greedy algorithm is not suitable for the third problem, we propose a tree search algorithm in this case.
No file

Dates and versions

inria-00614480 , version 1 (11-08-2011)

Identifiers

  • HAL Id : inria-00614480 , version 1

Cite

Dorin Maxim, Olivier Buffet, Luca Santinelli, Liliana Cucu-Grosjean, Rob Davis. On the Optimality of Priority Assignment for Probabilistic Real-Time Systems. 19th International Conference on Real-Time and Network Systems - RTNS 2011, Sep 2011, Nantes, France. ⟨inria-00614480⟩
171 View
0 Download

Share

Gmail Facebook X LinkedIn More