> Hi, Hi,
> > I have two major questions at the moment: > > > I´m using TOPCASED pluggin and I want to analyse my projects with > cheddar, > how can I do it? > > I mean can you explain to me in a few words the process, I think I > have > to run Cheddar as an External tool but then... What should I do? We developed the TOPCASED_ET plugin to connect External Tools through the TOPCASED logical bus. We used Stood and Cheddar to experiment this plugin. This pluging has not been maintained in the more recent versions of TOPCASED However, you do not really need it to call Cheddar as its AADL input is file base (.aadl files) As explained in the Cheddar user manual, what you only need is to call Cheddar with the following arguments: -a -I <dir> <file> where <dir> is a directory where you can put the AADL property sets or packages you require and <file> is the AADL file to analyse (textual AADL) (you can also put all the files inside <dir> or list all of them with <file1> <file2>,...) This call sequence can be used whatever your AADL files were written in a text editor, with OSATE or a graphical tool such as Adele or Stood. > Do I need the 4 (AADL_Project.aadl, AADL_Properties.aadl, > Cheddar_Properties.aadl and User_Defined_Cheddar_Properties.aadlfiles) > and if > I need, do I need to wrote them by hand or use this files to my > project?Regards. We usually put them in a directory and include its path thanks to the -I option Best Regards Pierre Dissaux Ellidiss Technologies > > Thanks. _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
