search

saeaadl / emv2

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

Rule E.8.(N47) is misleading/wrong #99

Open AaronGreenhouse opened 1 year ago

AaronGreenhouse commented 1 year ago

On page 100 of the AS5506_5-20210221 draft, the rule (n47) is

The incoming error propagation reference of an error condition trigger must identify an error propagation in the component that contains the error condition expression. The keyword in is used to qualify the error propagation reference, if it conflicts with a defining identifier of an error state or error behavior event.

The reference to an "error state" in the second sentence is incorrect/misleading as there is no error state that can be referenced. The associated grammar rule is at the top of the page:

error_condition_trigger ::=
      error_behavior_event_identifier [error_type_set ]
    | [ in ] incoming_error_propagation_point [ error_type_set_or_noerror ]
    | subcomponent_identifier . outgoing_error_propagation_point [ error_type_set_or_noerror ]

What it should say is "if it conflicts with a a defining identifier of a subcomponent or error behavior event."