EMV2 Annex -- AS5506/5 document preparation

[jjhugues]

This issue tracks the preparation of the AS5506/5 document. This document will gather all annexes in one document.

This particular issue tracks the progress in preparing the chapter on the EMV2 annex.

The EMV2 annex has been updated in AS5506/5 to address 15 errata:

• issue #6 "Or operator with XOR semantics" has a proposition made to have a true or and xor operator to reduce the semantics gap. The original EMV2 had or operator with the semantics of xor;
• issue #7 introduces all( {set of conditions}) and all -'k' {set of conditions})operators to complement k ormore and k orless ones;
• issue #8 details that there can be only one initial state.
• issue #13 refines the semantics of ormore and orless
• issue #16 corrects the interpretation of "alternative transition condition"
• issue #34 details the metamodel names that are reserved
• issue #42 allows properties with EMV2 subclause,
• issue #44 updates the document to reference MIL-STD882E,
• issue #46 details legality rules for fixed_probability values
• issue #47 add missing legality rules for ormore and orless
• issue #48 corrects the definition of DetectionMechanism property
• issue #49 defines the rules for error_detection_effect
• issue #50 forbids EMV2 subclauses in feature groups,
• issue #51 details the restrictions on steady states,
• issue #52 addresses redundancy in the definition of legality rule E.8 (N42)

The following errata are still open for discussion. The urgency is usually unclear at this stage

• issue #14 "orless" and logical negation operation
• issue #15 "orless", logical negation and FTA
• issue #31 "allow EMV2 specific property associations for core model elements" misses a minimal working example to go further

The following 12 errata are deferred for future revisions of EMV2. They correspond to errata that would impact the language and cause

• issue #12 that limits reference of port array elements in error propagation
• issue #17 that discussion priority AND mechanism
• issue #20 that discusses naming references to AADL core objects
• issue #29 that forbids declaration of states in component error behavior
• issue #30 that limits property association with product error types
• issue #32 that points to ambiguity between state vs. event interpretation of error propagation
• issue #35 that points to limits in syntax
• issue #36 that discusses semantics of propagation with fan-in
• issue #37 that points to inconsistencies in EMV2 property associations
• issue #40 that points to limits in user-defined propagation paths
• issue #39 that discusses names for error type library
• issue #43 that paths with user-defined propagation points

In addition, the document has been updated to match the latest SAE template. All models and property sets are available in the git repository at https://github.com/saeaadl/emv2

The document is now ready for review.