Modélisation et Intégration du Diagnostic Actif dans une Architecture Embarquée Elodie Chanthery — Yannick Pencolé CNRS ; LAAS ; 7 avenue du Colonel Roche, F-31077 Toulouse, France Université de Toulouse ; UPS, INSA, INP, ISAE ; LAAS ; F-31077 Toulouse, France [elodie.chanthery; yannick.pencole]@laas.fr RÉSUMÉ. Cet article présente la formalisation du principe de diagnostic actif, et son intégration comme un module fonctionnel dans une architecture embarquée. L’objectif du diagnostic actif est de trouver une séquence d’actions permettant de raffiner le diagnostic sans changer radi- calement le plan de mission. On définit le problème comme un problème de planification. Un critère pondéré est explicité. Le but est de trouver le meilleur plan conditionnel permettant au diagnostiqueur d’atteindre une région non ambiguë. Les conflits possibles entre le plan de la mission et le plan pour le diagnostic sont gérés par un contrôleur d’exécution au sein d’une architecture embarquée. Le contrôle d’exécution est spécifié à l’aide de réseaux de Petri. ABSTRACT. This article presents some principles for self-maintenance in an on-board architecture that embeds on-line active diagnosis. The objective of active diagnosis is to find an action plan that refines the diagnosis without radically changing the mission plan. This leads to the definition of a planning problem that relies on an active diagnoser. According to a decision criterion, the aim is then to find the best conditional plan to reach a diagnosable region of the active diagnoser. The interactions problems between the result of the planning for diagnosis and the mission planning are then detailed and a solution that uses the execution controller of the on-board architecture is proposed. The execution control is specified with Petri nets. MOTS-CLÉS : diagnostic actif, systèmes à événements discrets, architecture embarquée, contrôle d’exécution KEYWORDS: active diagnosis, discrete-event systems, on-board architecture, execution control JESA–43/2009. MSR 2009