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.