Temps réel

La conception des systèmes temps réel déterministes fait appel à des techniques d'analyse de faisabilité particulières. L'objectif est d'apporter la garantie, que tout au long de la vie du système, des tâches associées à des traitements applicatifs respectent des propriétés de ponctualité. La ponctualité est exprimée sous la forme d'une contrainte de temps de terminaison au plus tard, appelée échéance. Les résultats théoriques obtenus dans l'état de l'art font l'hypothèse d'une connaissance de la borne supérieure des temps d'exécution pire cas (WCET) des tâches.  En pratique, la détermination de ces temps d'exécution est très complexe et incertaine. Elle dépend fortement de l'architecture matérielle sous-jacente (présence de caches de données, de caches d'instructions, pipelines...).  En savoir +