KIAM Main page Web Library  •  Publication Searh  Русский 

Conference material: "Scientific service & Internet: proceedings of the 21th All-Russian Scientific Conference (September 23-28, 2019, Novorossiysk)"
Authors: Burdonov I.B., Yevtushenko N.V., Kosachev A.S.
Distinguishing transition systems with the nondeterministic behavior
In the synthesis of tests to verify functional and of non-functional requirements for components of distributed systems, the concept of distinguishability is of particular importance, since it should be possible to distinguish a correctly functioning component from a malfunctioning one, and with active testing, special distinguishing experiments are used for this. Such experiments are well studied for deterministic and fully defined automata, but the components of distributed systems are often described only partially and have non-deterministic behavior. In this work, we consider the model of an input-output semiautomatic device and introduce the concept of an (adaptive) dividing sequence for two such semiautomatic devices, with a single supply of which it is possible to unambiguously recognize which of the two semiautomatic devices is presented for the experiment.
input-output semiautomatic device, (adaptive) dividing sequence
Publication language: russian,  pages: 11 (p. 177-187)
Russian source text:
Export link to publication in format:   RIS    BibTeX
About authors:
  • Burdonov Igor Borisovich,,  ISP RAS
  • Yevtushenko Nina Vladimirovna,,  Ivannikov ISP RAS
  • Kosachev Alexander Sergeyevich,  ,  ISP RAS