Skip to Main content Skip to Navigation
Conference papers

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
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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01224222
Contributor : Stephan Merz <>
Submitted on : Wednesday, November 4, 2015 - 12:24:35 PM
Last modification on : Thursday, June 10, 2021 - 3:01:28 AM
Long-term archiving on: : Friday, February 5, 2016 - 11:06:31 AM

File

paper 5.pdf
Files produced by the author(s)

Identifiers

  • 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. Modélisation des Systèmes Réactifs (MSR 2015), Nov 2015, Nancy, France. ⟨hal-01224222⟩

Share

Metrics

Record views

304

Files downloads

286