On preset homing and synchronizing sequences for observable input/output automata - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Automation and Remote Control / Avtomatika i Telemekhanika Année : 2023

On preset homing and synchronizing sequences for observable input/output automata

Résumé

The paper is devoted to the problem of deriving synchronizing and homing experiments for nondeterministic Input/Output automata; corresponding input sequences are widely used in testing (non-initialized) discrete event systems. In active testing, there is an opportunity to set a system under test into a known initial state; in passive testing, a known current state allows to reduce the number of properties to be checked. In the paper, we note that such experiments for Input/Output automata are different from so-called “gedanken” experiments with classical Finite State Machines; the existence check conditions of such experiments are established for a predefined discipline of applying inputs and a method for its derivation is proposed when such an experiment exists. The obtained results allow to reduce the problem of deriving synchronizing and homing experiments for Input/Output automata to the well developed problem of deriving such experiments for appropriate classes of Finite State Machines.
Fichier principal
Vignette du fichier
SS:HS_Automata.pdf (226.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04321511 , version 1 (05-03-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

I. Burdonov, N. Evtushenko, A. Kossachev, Natalia Kushik. On preset homing and synchronizing sequences for observable input/output automata. Automation and Remote Control / Avtomatika i Telemekhanika, 2023, 84 (6), pp.606-611. ⟨10.1134/S0005117923060048⟩. ⟨hal-04321511⟩
20 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More