In the following example, in test1.aadl, the property OccurrenceDistribution from the subcomponents is not retrieved while it is correctly processed in test2.aadl. The difference comes from where the property is defined (either in the component or in the contained instance). We can see the impact with the Reliability block diagram, the analysis does work on test2.aadl but does not work with test1.aadl
reteprelief
commented
11 years ago
In the following example, in test1.aadl, the property OccurrenceDistribution from the subcomponents is not retrieved while it is correctly processed in test2.aadl. The difference comes from where the property is defined (either in the component or in the contained instance). We can see the impact with the Reliability block diagram, the analysis does work on test2.aadl but does not work with test1.aadl
See https://gist.github.com/juli1/6150311 for the examples