Wordgen : a Timed word Generation Tool - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Wordgen : a Timed word Generation Tool

Nicolas Basset
Alexandre Donze

Résumé

Sampling timed words out of a timed language described as a timed automaton may seem a simple task: start from the initial state, choose a transition and a delay and repeat until an accepting state is reached. Unfortunately, simple approach based on local, on-the-fly rules produces timed words from distributions that are biased in some unpredictable ways. For this reason, approaches have been developed to guarantee that the sampling follows a more desirable distribution defined over the timed language and not over the automaton. One such distribution is the maximal entropy distribution, whose implementation requires several non-trivial computational steps. In this paper, we present Wordgen which combines those different necessary steps into a lightweight standalone tool. The resulting timed words can be mapped to signals used for model-based testing and falsification of cyber-physical systems thanks to a simple interface with the Breach tool.
Fichier principal
Vignette du fichier
wordgen.pdf (1.01 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04127298 , version 1 (25-10-2023)

Identifiants

Citer

Benoît Barbot, Nicolas Basset, Alexandre Donze. Wordgen : a Timed word Generation Tool. HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control, May 2023, San Antonio TX USA, United States. pp.1-7, ⟨10.1145/3575870.3587116⟩. ⟨hal-04127298⟩
37 Consultations
91 Téléchargements

Altmetric

Partager

More