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>