ProbabilisticTiming : public package
Created: 2012-05-24 18:05:27
Modified: 2012-07-10 16:32:21
Project:
Advanced:
<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>