Diagnostic des systèmes embarqués critiques : Application à la carte de commande du système de freinage d'un train

Abstract

Les systèmes embarqués sont de plus en plus utilisés dans la commande des systèmes critiques. Dans cet article, nous nous intéressons à la conception d'une carte électronique pour la commande du système de freinage d'un train. Dans ce contexte, on veut utiliser des COTS numériques tels que les microcontrôleurs ou les FPGA pour réaliser cette carte. A partir du moment où l'on surveille des systèmes critiques, et pour des raisons de sécurité, il est nécessaire de diagnostiquer les défaillances de la carte pour les traiter en ligne. Dans cet article, nous proposons d'utiliser les automates temporisés et la technique de diagnostiqueur pour surveiller de tels systèmes. Nous proposons une méthode et des modèles pour éviter l'explosion combinatoire et pouvoir mettre en œuvre plusieurs diagnostiqueurs travaillant en parallèle.