saeaadl / emv2

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

EMV2 property associations inconsistent with core AADL #37

Open lwrage opened 7 years ago

lwrage commented 7 years ago

The addition of an error type to the applies to of an error propagation in EMV2 makes processing unnecessarily complex. Tools must implement specialized processing of property associations just for EMV2.

jjhugues commented 4 years ago

Addressing this issue would require a significant change to EMV2. Proposed resolution