[aadl-modeling]: property set EMV2

Sergey Zelenov zelenov at ispras.ru
Thu Apr 27 08:52:02 EDT 2017


Hello,


As I can see, description of the property set EMV2 in github
https://github.com/OpenAADL/ocarina/blob/master/resources/AADLv2/emv2.aadl
differs from it's description in Standard Draft 2015-04-08 (this is the 
latest I have).

Example.

  -- In github:
PropagationTimeDelay: EMV2::DurationDistributionSpecification
     applies to (connection, {emv2}**propagation path);

  -- In Standard Draft:
PropagationTimeDelay: EMV2::DurationDistributionSpecification
     applies to (connection, {emv2}**propagation point connection);

This is not the only difference.
The question is: which description of the property set EMV2 is correct?


Sergey.



More information about the aadl-modeling mailing list