[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