Preview

Моделирование и анализ информационных систем

Расширенный поиск

К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов

https://doi.org/10.18255/1818-1015-2017-6-730-742

Аннотация

В работе рассматриваются задачи проверки существования и синтеза синхронизирующих и установочных последовательностей для конечных входо-выходных полуавтоматов. Соответствующие последовательности могут быть использованы при идентификации состояния проверяемой системы после подачи подходящей входной последовательности. В модели, исследуемой в работе, действия разделены на входные и выходные, однако отсутствуют выделенные явно семейства начальных и финальных состояний. В статье определяются понятия синхронизирующей и установочной последовательностей и предлагаются методы их синтеза для специального класса входо-выходных полуавтоматов, у которых в каждом состоянии определены переходы или только по входным, или только по выходным действиям; кроме того, в соответствующем графе переходов отсутствуют циклы по выходным символам. Для описанного класса входо-выходных полуавтоматов устанавливаются необходимые и достаточные условия существования синхронизирующих и установочных последовательностей и оценивается длина таких последовательностей. Выделяются подклассы полуавтоматов, для которых худшие (в основном экспоненциальные) оценки сложности не являются достижимыми.

 

Об авторах

Наталья Геннадьевна Кушик
Университет Телеком Южный Париж
Франция
д-р физ.-мат. наук


Нина Владимировна Евтушенко
Институт системного программирования РАН; Томский государственный университет
Россия
д-р техн. наук, профессор


Игорь Борисович Бурдонов
Институт системного программирования РАН
Россия
д-р физ.-мат. наук, старший научный сотрудник


Александр Сергеевич Косачев
Институт системного программирования РАН
Россия
канд. физ.-мат. наук, старший научный сотрудник


Список литературы

1. Мартюгин П. В., “Нижние оценки длины кратчайших бережно синхронизирующих слов для двух- и трёхбуквенных частичных автоматов”, Дискретн. анализ и исслед. опер., 15:4 (2008), 44–56;

2. Gill A., “State-identification experiments in finite automata”, Information and Control, 4 (1961), 132–154.

3. Martyugin P., “Computational Complexity of Certain Problems Related to Carefully Synchronizing Words for Partial Automata and Directing Words for Nondeterministic Automata”, Theory Comput. Syst., 54:2 (2014), 293–304.

4. Hierons R. M., Jourdan G. V., Ural H., Yenig¨un H., “Using adaptive distinguishing sequences in checking sequence constructions”, Proc. of the 2008 ACM symposium on Applied computing (SAC), ACM, 2008, 682–687.

5. Ito M., Shikishima-Tsuji K., “Some Results on Directable Automata”, Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, Lecture Notes in Computer Science, 3113, Springer, Berlin, Heidelberg, 2004, 125–133.

6. Kohavi Z., Switching and Finite Automata Theory, McGraw-Hill, New York, 1978.

7. Kushik N., El-Fakih K., Yevtushenko N., Cavalli A.R., “On adaptive experiments for nondeterministic finite state machines”, International Journal on Software Tools for Technology Transfer, 18:3 (2016), 251–264.

8. Kushik N., L´opez J., Cavalli A.R., Yevtushenko N., “Improving Protocol Passive Testing through ’Gedanken’ Experiments with Finite State Machines”, Proc. 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), IEEE, 2016, 315–322.

9. Kushik N., El-Fakih K., Yevtushenko N., “Preset and adaptive homing experiments for nondeterministic finite state machines”, Implementation and Application of Automata. CIAA 2011, Lecture Notes in Computer Science, 6807, 2011, 215–224.

10. Kushik N., Yevtushenko N., “On the Length of Homing Sequences for Nondeterministic Finite State Machines”, Implementation and Application of Automata. CIAA 2013, Lecture Notes in Computer Science, 7982, 2013, 220–231.

11. Lee D., Yannakakis M., “Testing finite-state machines: state identification and verification”, IEEE Trans. on Computers., 43:3 (1994), 306–320.

12. Moore E.F., “Gedanken-experiments on sequential machines”, Automata Studies (Annals of Mathematical Studies), Princeton University Press, 1956, 129–153.

13. Sandberg S., “Homing and Synchronizing Sequences”, Model-Based Testing of Reactive Systems, Lecture Notes in Computer Science, 3472, 2005, 5–33.

14. Tretmans J., “Test Generation with Inputs, Outputs and Repetitive Quiescence”, Software – Concepts and Tools, 17:3 (1996), 103–120.

15. Volkov M.V., “Synchronizing Automata and the Cern´y Conjecture”, ˇ Language and Automata Theory and Applications. LATA 2008, Lecture Notes in Computer Science, 5196, 11–27.

16. Kushik N.G, Yevtushenko N.V, Burdonov I.B., Kossatchev A.S, “Synchronizing and Homing Experiments for Input/output Automata”, System Informatics, 2017, № 10, 1–9.

17. Yenig¨un H., Yevtushenko N., Kushik N., “The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs”, Information Processing Letters, 127 (2017), 49–53.


Рецензия

Для цитирования:


Кушик Н.Г., Евтушенко Н.В., Бурдонов И.Б., Косачев А.С. К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов. Моделирование и анализ информационных систем. 2017;24(6):730-742. https://doi.org/10.18255/1818-1015-2017-6-730-742

For citation:


Kushik N.G., Yevtushenko N.V., Burdonov I.B., Kossatchev A.S. Deriving Synchronizing and Homing Sequences for Input/Output Automata. Modeling and Analysis of Information Systems. 2017;24(6):730-742. (In Russ.) https://doi.org/10.18255/1818-1015-2017-6-730-742

Просмотров: 670


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)