pok-toolchain.pl --models=model1.aadl --arinc653
The following line will generate code and compile it, but will not run generated system.
pok-toolchain.pl --models=model1.aadl --no-run