Rework ProbabilityDistributionSpecification

saeaadl / emv2

AADL Error Model V2 annex language

0 stars 0 forks source link

Rework ProbabilityDistributionSpecification #55

Open jjhugues opened 2 years ago

jjhugues commented 2 years ago

[ ] See message below from @joeseibel on Probability vs, ProbabilityValue
[ ] The current definition of probality in E.14.1 lacks consistency rules if there is a mismatch between the DistributionFunction and other parameters
[ ] The standard does not define any consistency rules on the sum of probability values
- [ ] sum equal to 1
- [ ] if at most one value is not set, could be 1 - sum of other elements
- [ ] all probability functions should be the same (e.g. all Normal)

joeseibel commented 2 years ago

In section E.14.1, item (8), the standard defines Probability as a field of the record type ProbabilityDistributionSpecification. It does not define the field ProbabilityValue. However, all of the examples in the standard use ProbabilityValue and do not use Probability.

Currently, OSATE looks at ProbabilityValue for the Fault Tree Analysis and ignores Probability. The code for this can be found in the method EMV2Properties.getOccurrenceValue(EMV2PropertyAssociation).

jjhugues commented 2 years ago

May 19th meeting:

Lutz asked about user-defined distribution function, unclear how to support these
Dominique will look into some guidance document from industry partners
Why OccurenceRate and Probability are different?
Is Fixed the same as Uniform