Online Parametric Timed Pattern Matching with Automata-Based Skipping - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Online Parametric Timed Pattern Matching with Automata-Based Skipping

Résumé

Timed pattern matching has strong connections with monitoring real-time systems. Given a log and a specification containing timing parameters (that can capture uncertain or unknown constants), parametric timed pattern matching aims at exhibiting for which start and end dates, as well as which parameter valuations, a specification holds on that log. This problem is notably close to robustness. We propose here a new framework for parametric timed pattern matching. Not only we dramatically improve the efficiency when compared to a previous method based on parametric timed model checking, but we further propose optimizations based on skipping. Our algorithm is suitable for online monitoring, and experiments show that it is fast enough to be applied at runtime.

Dates et versions

hal-02072161 , version 1 (19-03-2019)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Masaki Waga, Étienne André. Online Parametric Timed Pattern Matching with Automata-Based Skipping. 11th Annual NASA Formal Methods Symposium (NFM 2019), Moshe Vardi, May 2019, Houston, TX, United States. ⟨10.1007/978-3-030-20652-9_26⟩. ⟨hal-02072161⟩
65 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More