1)

pragma Task_Dispatching_Policy (FIFO_Within_Priorities);

=> active l'ordonnancement à priorité fixe.
Permet de faire du Rate Monotonic si les priorités
sont affectés selon la période des tâches


pragma Locking_Policy (Ceiling_Locking);

=> active le protocole ICPP, qui est une variation
du protocole d'évitemment d'inversion de priorité PCP


6)

- l'instruction "delay x" permet de suspendre une 
  tâche pendant x secondes