Use the pok toolchain for model analysis, validation, code generation, compilation and execution (the pok-toolchain.pl script)

We provide a toolchain that provides the following functionnalities:

1. Model analysis: check that your AADL model is correct.
2. Model validation: validate the requirements specified in the model
3. Code generation: automatically generate the code for its execution with POK
4. Compilation: automatically compile and create binaries