saeaadl / emv2

AADL Error Model V2 annex language
0 stars 0 forks source link

Insufficient explanation of `when` and `if` for connection error sources #97

Open joeseibel opened 1 year ago

joeseibel commented 1 year ago

In section E.12, Semantics (5), the standard says, "Using when the user can also specify the error type or type set representing the original error (failure mode), e.g., measurement unit mismatch." This is insufficient and the standard should fully describe the semantics and the various options of when. What does it mean to refer to a type set? What does it mean to provide a string literal?

There is description in section E.12 of the meaning of if. There is a note on the fault_condition syntax rule which says, "fault_condition will be a constraint expression once the Constraint Annex has become available." Is this still true? If if is supposed to be an expression, what is the syntax of that expression?

The standard should contain examples of when and if.

This issue is similar to #61.

This issue depends upon #94.