Spécificationvérification, optimisation Previous: Rôle de l'exécutif

L'exécutif introduit un surcoût

Sur chacun des n processeurs :

• Texec : temps alloué à l'exécutif
• Tcalc : temps alloué aux calculs
• Texec+Tcalc<Tmax : temps de réaction maximum constant
  (borné par les contraintes temps réel)

Pour l'algorithme :

• : volume de calcul par réaction constant
  (par ex. nb de MAC)

diminution du nombre de processeurs

augmentation du temps alloué aux calculs

diminution du temps alloué à l'exécutif