search

saeaadl / emv2

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

Name for error type library #39

Open reteprelief opened 6 years ago

reteprelief commented 6 years ago

Currently error type libraries are implicitly assigned the name of the package they reside in. Furthermore, only one error type library can be included in one EMV2 library clause. Proposal to require an explicit name definition for error type library.

jjhugues commented 4 years ago

A solution from user-perspective is to use AADL package, that would work for all annex libraries. Doing a special case for EMV2 would be inefficient.

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