Diagnostic dans les systèmes embarqués

Abstract

Les Systèmes embarqués connaissent ces dernières années un déploiement intense notamment avec la super croissance du nombre des objets connectés qui devrait atteindre des centaines de milliards dans un futur proche. Cette croissance est confrontée à des défis colossaux concernant la fiabilité et la sécurité de ces systèmes ; ce qui accentue, de plus en plus, la nécessité de concevoir des systèmes plus intelligents dans le sens où ils sont capables d‘assurer des degrés très élevés de sécurité et de sureté de fonctionnement. L‘instrumentation sur puce a permis continuellement de produire des solutions effectives dans les domaines de test et de débogage des circuits électroniques. Les travaux de cette thèse se focalisent sur le développement de nouveaux moyens et techniques d‘instrumentation sur puce qui permettent aux systèmes electroniques d‘avoir une certaine intelligence qui leur permettent d‘effectuer des tâches de détection de fautes et de diagnostic en ligne, assurant ainsi une haute sureté de fonctionnement et un contrôle de fiabilité permanent. Cette approche est appliquée à un système embarqué communicant connu comme étant la nouvelle tendance en matière d‘identification et d‘authentification d‘objet ou de personne, en l‘occurrence la RFID (Radio Frequency Identification). L‘invasion de cette dernière, dans le quotidien, soulève de grandes interrogations et craintes de la part des consommateurs et des autorités vis-à-vis de sa fiabilité et de son respect de la vie privée. Pour ce faire, une plateforme d‘expérimentation a été développée qui comprend un microcontrôleur configurable, deux architectures de tag RFID, un lecteur RFID et une plateforme d‘injection de fautes. Des analyses approfondies d‘injection de fautes de différents types, réalisées sur des tags RFID en utilisant des FPGA, ont permis de démystifier l‘impact des fautes sur la sécurité des tags. Des techniques de détection en ligne de fautes ont été aussi développées par l‘utilisation des blocs d‘assertion permettent ainsi d‘améliorer la sécurité et de contrôler la fiabilité de ces systèmes.