MARTE — Section: Annex D.2

We have found that the current format for modelling probability distributions is not very good is some cases. For example, it is hard to model correctly the probability distribution related to a SporadicPattern. We propose that distributions are modelled as a ProbabilityDistribution <<choice_type>> element, with each probability distribution modelled as a <<tuple_type>> element each with the parameters needed (e.g. Uniform <<tuple_type>> should have 2 parameters: a min:NFP_Real and max:NFP_Real).

There is a misunderstanding in the way MARTE deals with probability distribution
expressions. This is, in any case, a weak aspect in the description of such
specification mechanism in MARTE. This resolution proposes to clarify this
aspect, by adding an example in the NFP chapter and by making explicit the list
of distributions in Annex D.
In addition, this issue proposes to complete the textual description of all the
NfpTypes included in the library MARTE_NfpTypes.
Issue Dependency Warning: Note that the texts and figures provided in this
issue depend on Issue 12196, which proposes new probability distributions.
Thus, if Issue 12196 is not accepted, these new probability distributions need to
be removed from the texts and figures proposed in this issue.