Diagnostic des systemes embarques critiques Application a la carte de commande du systeme de freinage d'un train

摘要

Les systemes embarques sont de plus en plus utilises dans la commande des systemes critiques. Dans cet article, nous nous interessons a la conception d'une carte electronique pour la commande du systeme de freinage d'un train. Dans ce contexte, on veut utiliser des COTS numeriques tels que les microcontroleurs ou les FPGA pour realiser cette carte. A partir du moment ou l'on surveille des systemes critiques, et pour des raisons de securite, il est necessaire de diagnostiquer les defaillances de la carte pour les traiter en ligne. Dans cet article, nous proposons d'utiliser les automates temporises et la technique de diagnostiqueur pour surveiller de tels systemes. Nous proposons une methode et des modeles pour eviter l'explosion combinatoire et pouvoir mettre en oeuvre plusieurs diagnostiqueurs travaillant en parallele.