Spécificationvérification, optimisation Previous: L'exécutif introduit un

L'exécutif alloue des ressources

• Distribution : allocation spatiale
• Ordonnancement : allocation temporelle
• Dynamique : optimisations et décisions effectuées pendant l'exécution
  (utilisation de l'horloge temps réel)
• Statique : optimisations et décisions effectuées avant l'exécution
  (connaissance des durées d'exécution)

diminution du temps alloué à l'exécutif

évolution dynamique statique

durée d'exécution réalistes

préciser le modèle matériel