[aadl]: Need learning resources for OSATE V2 Plugin Development

Shabbir Haider shabbirhaider1993 at gmail.com
Tue Feb 16 11:07:38 EST 2016


Hello all,

I'm trying to build an analysis plugin for OSATE V2 using the following
guide:

http://www.aadl.info/aadl/osate/osate-doc/osate-plugindev/index.html

This guide is for an older version of OSATE (osate 1.5) and the
libraries/packages of this OSATE's version are no longer available in
latest versions of OSATE.

Basically I want to extract semantics from AADL Behavior Annex using an
analysis plugin, perform model transformation, and translate it to a
process algebra.
Can someone suggest me learning resources/guideline for the latest OSATE V2
plugin development ???

Thanks.

Regards,
Shabbir Haider
Computer Science Department,
Air University, Islamabad
Pakistan
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list