The scheduling requirements are specified in process
components properties. The POK::Slots and
POK::Slots_Allocation properties indicate the different time
slots for partitions execution (in case of a partitioned architecture).
In addition, the POK::Scheduler is used to describe the
scheduler of the processor. If we implement an ARINC653 architecture, the
scheduler would be static.
