![]() ![]() |
||||
|
||||
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. |
||||