Download presentation

Presentation is loading. Please wait.

Published byMiranda Kibble Modified over 3 years ago

1
A MIXED MODEL FOR ESTIMATING THE PROBABILISTIC WORST CASE EXECUTION TIME Cristian MAXIM*, Adriana GOGONEL, Liliana CUCU-GROSJEAN INRIA Paris-Rocquencourt, France *Airbus, Toulouse Open problems in real-time computing April 4th, 2014, ULB, Brussels, Belgium

2
Summary About probabilities Measurement-based probabilistic time analysis (MBPTA) Genetic algorithms Our mixed model WHY MBPTA NEEDS to be IMPROVED?

3
Probabilities What is a distribution function? What is a probabilistic real time system? Central limit theorem Extreme value theory Independence and identical distribution (i.i.d.)

4
What is a probability distribution function? A function that gives the probability of a random variable to be equal to a given value Continuos random variable Probability density function (pdf) Probabilities

5
What is a probability distribution function? A function that gives the probability of a random variable to be equal to a given value Discrete random variable Probability mass function (pmf) Probabilities

6
Cumulative distribution function (cdf) It describes the probability that a real-valued random variable X with a given probability distribution will be found at a value less than or equal to x Probabilities Continuous random variable 1 3 7 0 1 0,7 0,2 Discrete random variable

7
Probabilistic real-time systems (pRTS) Probabilities Offset WCET Period Deadline

8
Probabilistic real-time systems (pRTS) Probabilities

9
Probabilistic real-time systems (pRTS) Probabilities

10
Central Limit Theorem (CLT) Lehoczky [1992, 1995], Tia [1995], Broster [2002] It states that the sample mean is aproximatively a Gaussian distribution, given a sufficiently large sample. (gaussian distribution = normal distribution) Probabilities Tail

11
Extreme value theory (EVT) Estimates the probability of occurrence of extreme events, when their distribution function is unknown, based on sequences of observations. If the distribution of rescaled maxima converges, then the limit G(x) is one of the three following types: Probabilities Gumbel pdf

12
Independence and identical distribution (i.i.d.) In order to use EVT or CLT, the input data for these techniques has to be: Independent Identical distributed Probabilities

13
Probabilistic Worst Case Execution Time (pWCET) The pWCET is an upper bound on the execution times of all possible jobs of the task Probabilities

14
Measurement-based probabilistic timing analysis (MBPTA) Steps of applying EVT (single-path programs) Observations Grouping Fitting Comparison Tail extension MBPTA -Tested to be i.i.d. -A fair amount of observation is needed -The input data should vary

15
Measurement-based probabilistic timing analysis (MBPTA) Steps of applying EVT (single-path programs) Observations Grouping Fitting Comparison Tail extension MBPTA Block maxima technique

16
Measurement-based probabilistic timing analysis (MBPTA) Steps of applying EVT (single-path programs) Observations Grouping Fitting Comparison Tail extension MBPTA Finding the parameters for the Gumble distribution Location - μ Scale - β Shape -α

17
Measurement-based probabilistic timing analysis (MBPTA) Steps of applying EVT (single-path programs) Observations Grouping Fitting Comparison Tail extension MBPTA

18
Measurement-based probabilistic timing analysis (MBPTA) Steps of applying EVT (single-path programs) Observations Grouping Fitting Comparison Tail extension MBPTA

19
Measurement-based probabilistic timing analysis (MBPTA) The MBPTA ensures safeness (tight and pessimistic bound on WCET) with respect to the input data How we build representative input data with respect to the WCET? MBPTA

20
Genetic Algorithms Belong to the larger class of evolutionary algorithms Used in optimization problems in order to get better solutions In our case – we use it to get a large and diversified number of inputs in order to access all paths of a program

21
Genetic Algorithms

22
A mixed model for estimating the probabilistic worst case execution time

23
Conclusion Experiments needed Verification of i.i.d. for both inputs and execution times Is there any corelation between the inputs and the execution times?

24
Thank you for your attention

Similar presentations

OK

Descriptive statistics Experiment Data Sample Statistics Experiment Data Sample Statistics Sample mean Sample mean Sample variance Sample variance.

Descriptive statistics Experiment Data Sample Statistics Experiment Data Sample Statistics Sample mean Sample mean Sample variance Sample variance.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google