Static Determination of Probabilistic Execution Times

  • Authors:
  • Laurent David;Isabelle Puaut

  • Affiliations:
  • INRIA - IRISA;INSA - IRISA

  • Venue:
  • ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Most previous research done in probabilistic schedulabilityanalysis assumes a known distribution of executiontimes for each task of a real-time application. This is howevernot trivial to determine it with a high level of confidence. Methods based on measurements are often biased since not in general exhaustive on all the possible executionpaths, whereas methods based on static analysis aremostly Worst-Case Execution Time 驴 WCET 驴 oriented. Usingstatic analysis, this work proposes a method to obtainprobabilistic distributions of execution times. It assumesthat the given real time application is divided into multipletasks, whose source code is known. Ignoring in this paperhardware considerations and based only on the sourcecode of the tasks, the proposed technique allows designersto associate to any execution path an execution time and aprobability to go through this path. A source code exampleis presented to illustrate the method.