OSATE plug-ins

OSATE also provide a set of plug-ins, either for validating your models or interface them with other tools. Users can develop their own plug-ins to connect AADL models with other tools. The following sub-sections present the tools included in the pre-defined set of plugins shipped with OSATE. Users interested in developing their own plug-ins would read the plug-in help development.

The following plug-ins are currently included with OSATE: