[aadl]: Question

Peter Feiler phf at sei.cmu.edu
Fri Oct 31 16:54:00 EDT 2014


Composite EMV2 declarations can only be used in implementations as they reference subcomponents.
Propagation declarations and component error behavior declarations make sense in implementations if they represent different information for each of the implemetnations.

From: sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Mohsen Fazelinia
Sent: Friday, October 31, 2014 2:12 PM
To: sae-aadl-users at lists.sei.cmu.edu
Subject: [aadl]: Question

Hello
we 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