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.

For fault analysis support see Error Model V2

The following plug-ins are currently included with OSATE: