Modélisation et Analyse de chroniques pour le diagnostic

Ghyslain Maitre 1 Yannick Pencolé 1 Audine Subias 1 Houssam Eddine Gougam 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes [Toulouse]
Résumé : Dans cet article nous proposons un modèle de chronique qui peut être vu comme une extension d'un Problème Temporel Simple, permettant d'intégrer dans les chroniques les contraintes d'interdiction représentant l'absence d'un événement dans l'ensemble du comportement modélisé ou sur une partie prédéfinie. Sur la base de cette formalisation nous proposons des critères permettant de caractériser les chroniques et de les comparer afin d'évaluer la pertinence de la base de chroniques utilisée pour le diagnostic. En particulier nous proposons une méthode d'analyse de diagnosticabilité reposant sur un test d'exclusivité des chroniques. Ce test permet de s'assurer que deux chroniques ne peuvent être reconnues par un même flux d'événements généré par le système. Les chroniques sont modélisées par réseaux de Petri temporels et le test d'exclusivité est posé sous forme d'un problème d'atteignabilité et résolu par une méthode de vérification automatique de modèle.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01224222
Contributeur : Stephan Merz <>
Soumis le : mercredi 4 novembre 2015 - 12:24:35
Dernière modification le : mercredi 12 décembre 2018 - 15:22:19
Document(s) archivé(s) le : vendredi 5 février 2016 - 11:06:31

Fichier

paper 5.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01224222, version 1

Citation

Ghyslain Maitre, Yannick Pencolé, Audine Subias, Houssam Eddine Gougam. Modélisation et Analyse de chroniques pour le diagnostic. Stephan Merz and Jean-François Pétin. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. 〈hal-01224222〉

Partager

Métriques

Consultations de la notice

193

Téléchargements de fichiers

151