Creation of workflows for the generation of C code
We want to use workflows in RAMSES to separate the different steps of execution. There is already a workflow for the refinement of the aadl model, but not yet for the generation of the C code.
We need to create a different workflow for each target platform (POSIX, OSEK and POK). These workflows should be executed independently of the others by taking in parameters the refined aadl model and the trace of the refinement. They could also be integrated in a bigger workflow executing all steps.