Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps-réel

Un systeme informatique est temps-reel lorsque ses traitements doivent verifier des proprietes d'ordre a la fois logique et temporel. Dans ce travail, nous proposons un outil de simulation pour l'evaluation de tels systemes. Il peut venir completer les methodes sures d'analyse statique, en particulier lorsque le comportement temporel du systeme ou de son environnement est insuffisamment caracterise. L'outil met l'accent sur la faculte de personnalisation du systeme simule, la grande fidelite des comportements temporels reproduits grâce a une granularite de simulation ajustable, la possibilite de reutiliser du code d'application existant, et l'efficacite de simulation. Nous presentons aussi un modele objet generique pour l'ordonnancement dynamique couvrant un grand nombre d'ordonnanceurs existants, et qui a ete evalue grâce a l'outil. Nous detaillons enfin les moyens de prise en compte de la granularite de l'horloge systeme dans ces algorithmes, ainsi qu'une evaluation de leur impact.