Studying synchronization issues for extended automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Studying synchronization issues for extended automata

Résumé

The paper presents a study of synchronization issues for one of non-classical state models, i.e., a state identification problem widely used in the area of Model based Testing (MBT) and run-time verification / monitoring. We consider Finite Automata (FA) augmented with the context variables and their related updates when the transitions are executed. For such Extended Automata (EA) we define the notions of merging and synchronizing sequences that serve as reset words in MBT, and show that under certain conditions and when every context variable is defined over a ring, it is possible for the extended automata of the studied class to 'repeat' the necessary and sufficient conditions established for the classical automata. Otherwise, in a general case, the problem can be reduced to deriving reset words for classical FA that represent corresponding EA slices.
Fichier sous embargo
Fichier sous embargo
0 1 8
Année Mois Jours
Avant la publication
mardi 4 juin 2024
Fichier sous embargo
mardi 4 juin 2024
Connectez-vous pour demander l'accès au fichier

Dates et versions

hal-04322438 , version 1 (04-12-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Natalia Kushik, Nina Yevtushenko. Studying synchronization issues for extended automata. 18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Apr 2023, Prague, Czech Republic. pp.338-345, ⟨10.5220/0011785700003464⟩. ⟨hal-04322438⟩
8 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More