Description

AADL Spec diagram
... ...
Instance diagram
Creation of a Subcomponent When you create a Subcomponent, a popup window appear. This let you choose the ComponentType and/or ComponentImplementation that should be associated with this Instance. You can either choose an existing ComponentClassifier in the drop-down list or create new model elements to associate. instantiateSubcomponentDialog
Selection of a Mode << New in 0.8.0 >>

When a Mode is selected, the Subcomponents and Connections that are active in this mode are selected too.

modeSelection" In the above example, selection of the Mode 'sm1' select the two Process Subcomponent 'p1' and 'p2' and the DataConnection between them. The selection is graphical only : you can move or resize the selected Mode without changing the other elements.
Navigation to another InstanceDiagram You can navigate between Instance diagrams by directly double-clicking on a Subcomponent. There are two conditions to match :
  1. the Subcomponent must be associated with a ComponentImplementation
  2. the associated ComponentImplementation can be associated with a diagram (This is not the case for Device and Bus for example)
When these two conditions are matched, the basic navigation process is used : you can navigate to the diagram (if it already exists) or create a new one.
General
Annex extensibility << New in 0.8.0 >>

You can define new Annex through the annexes extension from another metamodel (the model object must be a subclass of an AnnexSubclause or AnnexLibrary). New Annexes may be then added to the AADL model through the Outline view. A diagram can then be associated with the Annex through the diagrams extension.

Feature Synchronization The objects that handle Features are synchronized with these Features in the model. It means that these elements always display the Features that are associated with them. Consequently the Delete action that would apply only for the graphical representation is disabled for the Feature model objects. featureSynchronization" For example, in the above example, when you add a DataPort into the ThreadType 'sender', this automatically refresh the graphical representation of the ThreadImplementation 'sender.simple'.