Diagnostic préférentiel à base de modèles discrets pour des fautes intermittentes et permanentes

National audienceIn this paper we consider the diagnosis of intermittent and permanent faults in discrete event systems. We present a logic based modeling approach associated with conditional preferences in order to produce a unique diagnosis at each time step. This approach is subject to deadlocks between the monitored system and its diagnoser. The goal of this paper is to detect at design time such deadlocks, using a model-checking approach.Nous nous intéressons dans cet article au diagnostic de pannes intermittentes et permanentes dans des systèmes à événements discrets. Nous proposons un formalisme de modélisation logique associé à des préférences conditionnelles destiné à produire un diagnostic unique à chaque pas de temps. Cette approche est susceptible de provoquer des interblocages entre le système surveillé et son diagnostiqueur. L'objet de cet article est de détecter ces interblocages dès la conception, par une méthode basée sur le model-checking