Hi,
Hi Rosane,
ADELE is included in TOPCASED 5.2 and allows you to create AADL diagrams and
generate the corresponding textual specifications.
We recently added Behavior Annex diagrams to manage BA states and
transitions.
These textual specifications can then be processed by OSATE, or by other
tools like AADL Inspector
However, the version of OSATE that is currently included in TOPCASED
distributions does not support the Behavior Annex
To use ADELE and OSATE together within TOPCASED, you must firstly upgrade to
OSATE v2 (you can use the update site "aadl.ellidiss.fr" for that purpose),
and then add the BA plugins developed by Telecom ParisTech that are
available at "penelope.enst.fr/aadl/wiki/Projects"
Best regards
Pierre Dissaux
Ellidiss Technologies
When I start a project Adele, the TOPCASED already recognizes the annex
behavior, right?
But if I start AADL project (textual), the TOPCASED also recognizes the
annex behavior? Or need to install the plugin?
My doubt is because both in the perspective ADELE perspective how in the
AADL perspective the Navigator only have the options: AADL_Project.aadl,
and AADL_Properties.aadl SEI.aadl. That is, nothing appears on the
behavior annex.
If by chance you need to install the plugin annex behavior, what is the
url?
Regards,
Rosane
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
