wiki:OcarinaUsage
close Warning: Can't synchronize with repository "(default)" (Couldn't open Subversion repository /var/repositories/svn/aadl: SubversionException: ("Failed to load module for FS type 'fsfs'", 160033)). Look in the Trac log for more information.

Ocarina usage

Model parsing

To parse your AADL files, invoke the following command : ocarina -f list_of_aadl_files Add the -aadlv2 option if your models are compliant with AADLv2.

Model instanciation

To instanciate your model and check that it is valid, invoke : ocarina -i -f list_of_aadl_files Add the -aadlv2 option if your models are compliant with AADLv2.

Code generation

To generate code from your AADL models, invoke ocarina -g generator_name -f list_of_aadl_files (add the -aadlv2 option if your models are compliant with AADLv2).

The value of generate_name could be polyorb_hi_ada, polyorb_hi_c or pok-c.

Last modified 9 years ago Last modified on 02/25/09 14:43:54