Studying Synchronization Issues for Extended Automata

Natalia Kushik, Nina Yevtushenko

2023

Abstract

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.

Paper Citation

in Harvard Style

Kushik N. and Yevtushenko N. (2023). Studying Synchronization Issues for Extended Automata. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-647-7, SciTePress, pages 338-345. DOI: 10.5220/0011785700003464

in Bibtex Style

@conference{enase23,
author={Natalia Kushik and Nina Yevtushenko},
title={Studying Synchronization Issues for Extended Automata},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2023},
pages={338-345},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011785700003464},
isbn={978-989-758-647-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Studying Synchronization Issues for Extended Automata
SN - 978-989-758-647-7
AU - Kushik N.
AU - Yevtushenko N.
PY - 2023
SP - 338
EP - 345
DO - 10.5220/0011785700003464
PB - SciTePress