loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Natalia Kushik 1 and Nina Yevtushenko 2

Affiliations: 1 SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Palaiseau, France ; 2 Ivannikov Institute for System Programming of the Russian Academy of Sciences, Moscow, Russia

Keyword(s): Extended Automata, Synchronizing Sequence, Model based Testing, Monitoring.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.191.181.231

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ENASE; ISBN 978-989-758-647-7; ISSN 2184-4895, SciTePress, pages 338-345. DOI: 10.5220/0011785700003464

@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 - ENASE},
year={2023},
pages={338-345},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011785700003464},
isbn={978-989-758-647-7},
issn={2184-4895},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic