saeaadl / emv2

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

Types on connection error sources #96

Open joeseibel opened 1 year ago

joeseibel commented 1 year ago

The syntax for connection error sources allow for the type information to be omitted, but the standard doesn't explain what that means or how the type information can be inferred. Omitting types in regular error sources makes sense because the type information can be taken from the propagation, but there is no obvious corollary for connection error sources. I propose that type information be required for connection error sources.

This issue depends upon #94.