Title
Static Determination of Probabilistic Execution Times
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.
Year
DOI
Venue
2004
10.1109/ECRTS.2004.34
ECRTS
Keywords
Field
DocType
probabilistic execution times,execution time,designersto associate,worst-case execution time,real time application,static determination,usingstatic analysis,static analysis aremostly,execution path,known distribution,static analysis,soft real-time systems.,source code,real-time application,probability,real time systems,scheduling,worst case execution time
Worst-case execution time,Source code,Computer science,Scheduling (computing),Parallel computing,Static analysis,Real-time computing,Execution time,Probabilistic logic,Foreground-background
Conference
ISBN
Citations 
PageRank 
0-7695-2176-2
36
1.25
References 
Authors
15
2
Name
Order
Citations
PageRank
Laurent David1361.25
Isabelle Puaut2170889.84