467 articles – 709 references  [version française]

inria-00614480, version 1

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

Dorin Maxim () b1, Olivier Buffet () b2, Luca Santinelli () a1, Liliana Cucu-Grosjean () b1, Rob Davis () c3

19th International Conference on Real-Time and Network Systems - RTNS 2011 (2011)

  • a –  INRIA Nancy-Grand Est
  • b –  INRIA
  • c –  University of York
  • 1:  TRIO (INRIA Lorraine - LORIA)

  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France
  • 2:  MAIA (INRIA Lorraine - LORIA)

  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL) France
  • 3:  Real-Time Systems Group
  • http://www.cs.york.ac.uk/rts/index.php
    University of York Real-Time Systems Research Group, Department of Computer Science, University of York, York. YO10 5DD United Kingdom United Kingdom

Bibliographic reference

  • Type of document: Peer-reviewed conferences/proceedings
  • Domain: Computer Science/Embedded Systems
  • Title: On the Optimality of Priority Assignment for Probabilistic Real-Time Systems
  • 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.
  • Full text language: English
  • Publication date: 2011-09
  • Audience: international
  • Conference title: 19th International Conference on Real-Time and Network Systems - RTNS 2011
  • Conference city: Nantes
  • Country: France
  • Conference date: 2011-09-29
  • Conference date (end): 2011-09-30
  • Collaboration(s): University of York
 
  • inria-00614480, version 1
  • oai:hal.inria.fr:inria-00614480
  • From: 
  • Submitted on: Thursday, 11 August 2011 16:41:57
  • Updated on: Thursday, 8 December 2011 17:26:54