Анализ функциональных и нефункциональных признаков телекоммуникационной системы

В данной статье рассмотрено применение теории дискретных автоматов в телекоммуникационных системах. Смоделирован конечный автомат для функциональных и нефункциональных признаков телекоммуникационной системы. Проведён анализ смоделированного автомата с использованием таких инструментов, как теория графов, теория множеств, теория чисел и логика предикатов. Приведены примеры применения теории автоматов в телекоммуникационных системах.

1. Гилл А. Введение в теорию конечных автоматов / А. Гилл. – Москва: Наука, 1966. – 272 с.

2. The Unknown Component Problem: Theory and Applications / T. Villa, N. Yevtushenko, R.K. Brayton [et al.]. – New York: Springer, 2012. – 312 p.

3. Твардовский А.С. О возможностях автоматного описания параллельной композиции временных автоматов / А.С. Твардовский, А.В. Лапутенко // Труды Института системного программирования РАН. – 2018. – Т. 30, № 1. – С. 25–40.

4. Твардовский А.С. Синтез установочных последовательностей для автоматов с временными ограничениями / А.С. Твардовский, Н.В. Евтушенко // Моделирование и анализ информационных систем. – 2020. – Т. 27, № 4. – С. 376–395.

5. Kushik N. Preset and Adaptive Homing Experiments for Nondeterministic Finite State Machines / N. Kushik, K. El-Fakih, N. Yevtushenko // Implementation and Application of Automata: 16th International Conference, CIAA 2011, Blois, France, July 13–16, 2011, Revised Selected Papers. – Berlin, Heidelberg: Springer, 2011. – P. 215–224.