-
Notifications
You must be signed in to change notification settings - Fork 8
Open
Description
The "unit" attribute and values of parameters (and mission time)
are underspecified, raising many questions, such as:
- Is it just for informational purposes?
- Is it meant to give types for expressions (related to Typing of Expression #39)?
- Does the standard imply proper unit conversions in expressions?
- What happens if units don't match?
- What is the default unit for parameter and mission time?
Let's say, we have parameter lambda in inverse years
and assume that mission-time is in hours:
<define-parameter name="lambda" unit="years-1">
<float value="1e-7"/>
</define-parameter>Should there be implicit unit conversion (from years-1 to hours-1)
upon the parameter use?
Or mixing these parameters is an error?
<exponential>
<parameter name="lambda"/>
<system-mission-time/>
</exponential>What happens if at the reference site, the parameter unit is different?
<exponential>
<parameter name="lambda" unit="hours-1"/>
<system-mission-time/>
</exponential>Should units be checked for all expressions?
Probability should have no units, so should the following fail?
<define-basic-event name="pump">
<parameter name="lambda"/>
</define-basic-event>Moreover, for some reason (maybe for question 2),
the MEF "units" have bool, int, float,
which are not units of measurement.