Adaptive experiments for state identification in finite state machines with timeouts A. Tvardovskii, N. V. Yevtushenko
Material type:
ArticleContent type: Текст Media type: электронный Subject(s): конечные автоматы | тайм-ауты | последовательность возврата | синхронизация последовательностиGenre/Form: статьи в сборниках Online resources: Click here to access online
In:
Machines, computations, and universality : 9th International conference, MCU 2022 Debrecen, Hungary, August 31 – September 2, 2022 : proceedings P. 172-188Abstract: Homing and synchronizing sequences are used for the current state identification in finite state machines (FSMs). Adaptive homing and synchronizing sequences for which the next input depends on the outputs to the previous ones, exist more often and usually are shorter than the preset. Thus, a lot of attention is paid to the existence check, derivation complexity and length of shortest adaptive state identification sequences. In this paper, we adapt the notions of adaptive homing and synchronizing sequences for FSMs with timeouts which are widely used for solving verification and testing problems of components of telecommunication systems. Based on the corresponding FSM abstraction, the procedures for deriving adaptive homing and synchronizing sequences are proposed for FSMs with timeouts when such sequences exist.
Библиогр.: 25 назв.
Homing and synchronizing sequences are used for the current state identification in finite state machines (FSMs). Adaptive homing and synchronizing sequences for which the next input depends on the outputs to the previous ones, exist more often and usually are shorter than the preset. Thus, a lot of attention is paid to the existence check, derivation complexity and length of shortest adaptive state identification sequences. In this paper, we adapt the notions of adaptive homing and synchronizing sequences for FSMs with timeouts which are widely used for solving verification and testing problems of components of telecommunication systems. Based on the corresponding FSM abstraction, the procedures for deriving adaptive homing and synchronizing sequences are proposed for FSMs with timeouts when such sequences exist.
There are no comments on this title.