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⟩
44 Consultations
13 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More