[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