Analysis of functional and non-functional attributes of a telecommunication system

This article discusses the application of the theory of discrete automata in telecommunication systems. A finite state machine is modeled for functional and non-functional attributes of a telecommunication system. The analysis of the simulated automaton using tools such as graph theory, set theory, number theory and predicate logic is carried out. Examples of the application of automata theory in telecommunication systems are given.

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.