Modélisation Incrémentale des Processeurs Embarqués pour l'Estimation des Caractéristiques et le Diagnostic

Les Systemes-sur-Puce (Systems on Chip, SoC) sont de plus en plus embarques dans des systemes a risque comme les systemes aeronautiques et les equipements de production d’energie. Cette evolution technologique permet un gain de temps et de performance, mais presente des limites en termes de fiabilite et de securite. Ainsi, le developpement d’outils de surveillance et de diagnostic des systemes electroniques embarques, en particuliers les SoC, est devenu l’un des verrous scientifiques a lever pour assurer une large utilisation de ces systemes dans les equipements a risque en toute securite. Ce travail de these s’inscrit dans ce contexte, et a pour objectif le developpement d’une approche de detection et identification des derives des performances des SoC embarques. L’approche proposee est basee sur un modele incremental, construit a partir de modules reutilisables et echangeables pour correspondre a la large gamme de SoC existants sur le marche. Le modele est ensuite utilise pour estimer un ensemble de caracteristiques relatives a l’etat de fonctionnement du SoC. L’algorithme de diagnostic developpe dans ce travail consiste a generer des indices de derives par la comparaison en ligne des caracteristiques estimees a celles mesurees. L’evaluation des residus et la prise de decision sont realisees par des methodes statistiques appropriees a la nature de chaque indice de derive. L’approche developpee a ete validee experimentalement sur des SoC differents, ainsi que sur un demonstrateur developpe dans le cadre de ce travail. Les resultats experimentaux obtenus, montrent l’efficacite et la robustesse de l’approche developpee.