tictac.aadl contains the AADL model to handle. In this example, the AADL
model is composed to two periodic threads, called tic and tac, with a respective
period of 1 second and 500 millisecond. These threads are declared in a process
binded to a processor with a fixed priority scheduler.
Notice the following property of the processor:
Deployment::Execution_Platform => native;
which means that the target will be the current working machine, i.e. a Linux station.
Ocarina is able to generate code for a different target of your current working station, i.e.
source code that have to be compiled latter with a cross-compiler.