[aadl]: Some issues on error propagation paths in EMV2

[Denis Buzdalov]

Dear all,

While careful reading of error propagation rules and semantics, we
discovered that some terms are not defined clearly and depending on
what is meant, we would need to have different checks on models.

We started to formalize these rules and realized that rules in EMV2
seem to have contradictions.

We thought on what can be done and wrote our thoughts down. Please,
find a whitepaper for discussion of these issues attached.

Happy new year!

--
Denis Buzdalov
Software Engineering Department, ISPRAS
-------------- next part --------------
A non-text attachment was scrubbed...
Name: emv2-propagation-paths.pdf
Type: application/pdf
Size: 254757 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20161230/1026dc32/attachment-0001.pdf>