Timed pattern diagnosis in timed workflows: a model checking approach - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Timed pattern diagnosis in timed workflows: a model checking approach

Résumé

In this article we introduce the problem of timed pattern diagnosis in timed system and propose a method to solve a sub-class of theses problems: the problem of timed pattern diagnosis of workflows. It consists in searching for all the possible evolutions of the workflow that are consistent with a timed sequence of observations and determining whether these evolutions match a pattern of timed events instead of a single fault event. The formal characterization of the diagnosis problem is based on the notion of pattern matching. Defined as a reachability problem, the diagnosis problem is then solved by model checking.
Fichier principal
Vignette du fichier
WODES18.pdf (589.94 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01827362 , version 1 (02-07-2018)

Identifiants

Citer

Yannick Pencolé, Audine Subias. Timed pattern diagnosis in timed workflows: a model checking approach. 14th Workshop on Discrete Event Systems (WODES 2018), May 2018, Sorrento Coast, Italy. pp.94-99, ⟨10.1016/j.ifacol.2018.06.285⟩. ⟨hal-01827362⟩
50 Consultations
19 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More