Ordonnancements périodiques dans les réseaux de processus

La théorie de la conception insensible aux latences créée par Luca Carloni et Alberto Sangiovanni-Vincentelli permet de résoudre les problèmes liés aux latences de communication dans les systèmes sur puce. Néanmoins, cette solution est coûteuse en termes de bufférisassions. Le but de cette thèse est d’améliorer cette solution en se servant des propriétés intrinsèques aux systèmes étudiés. Tout d’abord, le processus d’égalisation permet d’obtenir de meilleurs résultats. Ensuite, l’ordonnancement statique balancé des systèmes étudiés garantit un résultat optimal en termes de bufférisassions. Pour cela, nous avons choisi de représenter explicitement l'ordonnancement de chacun des éléments du système comme un mot binaire périodique où les "1" représentent les instants d'activités et les "0" d'inactivités. Une étude approfondie des différentes classes de mots binaires existants a précédé leur association à la théorie de la conception insensible aux latences et au processus d’égalisation pour obtenir des systèmes ordonnancés statiquement.