9. Analysis of Declarative AADL Models and AADL Instance Models
OSATE includes several plug-ins beyond those that check the basic semantics of AADL models.    These plug-ins are available for execution in the tool bar, in the “Analyses” menu, and in the “AADL Analyses” context menu.  They are only enabled if the appropriate resource or AADL Model Object is selected.
Errors from these plug-ins are reported through AadlObjectMarkers that are shown in the “Problems” view and sometimes also reported through a dialog box.  The markers are hyperlinked to the relevant objects in the AADL object model.  Thus, by double clicking on a message the AADL object editor makes that object its current selection.
The plug-ins which are included in this release are described below.  Several AADL models which demonstrate the plug-ins functionality are available for download from http://www.aadl.info/AADLExampleModels.html.   A description of the example models and the application of analyses to them is included in 11.  The detailed algorithm used in the flow latency analysis plug-in is described in 10.