ProbabilisticTiming : public package
Created: |
2012-05-24 18:05:27 |
Modified: |
2012-07-10 16:32:21 |
|
Project: |
|
Author: |
yt30282 |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{DF7E39BF-E608-420e-8E79-EBFCEBF706E0} |
Appears In: |
|
<p>This section presents the extension of the basic timing constraints of TADL2 with probabilistic parameters, which can be either based on distributions or follow the weakly-hard approach, which was introduced to express that not more than a given number of deadlines may be missed within a time window. The goal of these additional parameters is to allow the expression of more fine-grain information than the usual interval between the best case and the worst case.<br/></p><p><br/></p><p>Probabilistic timing information can be used in different ways to represent different abstractions. For example, one may be interested in probabilistic information based on distributions or instead in weakly-hard constraints which express that not more than a given number of deadlines may be missed within a time window.<br/></p>