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: