Une approche statistique des réseaux temps réel embarqués

Depuis quelques annees, les reseaux de communication deployes au sein d’aeronefs sont toujours plus vastes et plus complexes. Ces bus numeriques multiplexent differents flux de donnees afin de limiter les câbles, mais cela induit des retards sur les transmissions. Les travaux presentes ici portent sur une approche statistique de l’evaluation des performances du pire temps de traversee d’un reseau embarque de type AFDX. Il s’agit de definir une nouvelle approche visant a associer a un calcul pire cas, une distribution des temps de transmission des messages, en vue notamment de permettre d’apprecier le pessimisme du calcul pire cas. Les methodes decrites sont applicables dans le cadre plus general d’un ensemble de tâches. Nous proposons trois contributions dans ces travaux. Tout d’abord, une methode originaled’evaluation de la distribution de la duree de traversee d’un commutateur AFDX qui s’appuie sur une enumeration symbolique des scenarios d’ordonnancement dans la file d’attente. Puis, un algorithme efficace de calcul des delais subis par des messages/tâches periodiques lorsque les dephasages initiaux sont connus. Les delais calcules sont exacts ainsi que la distribution de probabilite. Enfin, le calcul de la distribution des delais subis par des messages/tâches dans un cadregeneral, a l’aide d’une methode statistique de type Monte Carlo. Des decalages initiaux sont tires aleatoirement et permettent de nourrir l’algorithme precedent.