Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexe

Abstract

L’estimation du pire temps d’exécution (Worst Case Execution Time ou WCET), c’est-à-dire le temps d’exécution maximal de certaines tâches critiques d’un système embarqué, est généralement effectuée sur une plate-forme matérielle embarquée dédiée, sans système d’exploitation (i.e. bare-metal). Mais la nécessité de réduire le coût de certification et la complexité grandissante du logiciel motivent le déploiement de systèmes d’exploitation temps-réel (RTOS) ou d’hyperviseurs pour réduire les dépendances entre les tâches (ou charges logicielles). Cette avancée amène une plus grande difficulté d’évaluation du WCET des appels (systèmes) vers le RTOS car ces architectures entraînent une explosion du nombre d’états du système indépendamment de la tâche testée. Dans ce papier nous développons dans un premier temps la notion de contexte global logiciel et matériel du système dans l’évaluation du WCET d’une tâche. Pour permettre une évaluation rapide d’une tâche en tenant compte du système sous-jacent, nous proposons d’étendre les algorithmes génétiques d’évaluation de WCET pour intégrer le contexte logiciel et matériel dans la définition du chromosome.