[aadl]: Question

Steve Barrett scbarrett at santoslab.org
Fri Oct 31 15:16:13 EDT 2014


Mohsen,

The biggest difference is that when defined in a type, all instantiations  
will inherit the defined error propagations and behavior. To define errors  
for a specific version of the type, place the EMv2 constructs in that  
implementation.

--Stephen


On Fri, 31 Oct 2014 13:11:46 -0500, Mohsen Fazelinia <ftandis at gmail.com>  
wrote:

> Hellowe can define Annex EMV2 in system and system implementation! now,  
> what is different between them?
> when use annex emv2 in system and when use in system implementation?
>
> Best Regard
> Mohsen
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list