A method for designing the logical structure of a distributed telecommunication environment

• G. S. Vasilyev Universidad del Zulia http://orcid.org/0000-0003-1681-5223
• V. T. Eremenko Orel State University, Orel, 302026, Russia http://orcid.org/0000-0002-5650-9151
• O. R. Kuzichkin Belgorod State University, Belgorod, 308015, Russia http://orcid.org/0000-0003-0817-223X
• A. V. Eremenko Orel State University, Orel, 302026, Russia http://orcid.org/0000-0003-3119-9123
• D. I. Surzhik Vladimir State University, Vladimir, 600000, Russia http://orcid.org/0000-0002-0101-3503
• S. V. Eremenko Orel State University, Orel, 302026, Russia http://orcid.org/0000-0001-8766-3816

Resumen

The article presents a methodology for the development of information exchange tools based on the apparatus of hierarchical Petri nets, characterized by the possibility of simultaneous events and allows solving the problem of correctness analysis and verification of protocols. Protocol objects and access points are represented on the basis of the Petri nets apparatus: the simplest object of the reception/transmission protocol, the queue object, a single object and a trivial object. It describes the construction of complex structures of objects and operations on them, the management of timeouts based on the timer object, the specification of protocol objects, the specification of protocols and levels of logical structure. The proposed method is relevant for the analysis of complex communication systems of large size, which are mobile ad-hoc networks with a large number of nodes, characterized by topology instability due to unstable communication channel characteristics and high nodes mobility, and especially flying ad-hoc networks of aircraft (FANET) and flying sensor networks (FSN).

Citas

Ahmed, S., Kanhere, S. (2011). Jha, Link characterization for aerial wireless sensor networks, in: GLOBECOM Wi-UAV Workshop, 2011, pp. 1274–1279.

Anisimov, N. A. (1989). Recursive definition of the hierarchy of protocols based on Petri nets. Fourteenth all-Union school-seminar on computer networks. (Minsk, 1989). – Moscow; Minsk: VINITI, 1989, CH. 2, pp. 101-106.

Anisimov, N. A. (1990). Hierarchical composition of protocols. Automation and computer engineering, 1990, No. 1, pp. 3-10.

Bekmezci, L., Sahingoz, O.K., Temel, S. (2013). Flying Ad-Hoc Networks (FANETs): A Survey, Ad Hoc Networks, 2013, Vol. 11, № 3, pp. 1254–1270;

Eremenko, V. T. (2018). Mathematical models and methods for solving problems of optimization of reliability of systems with complex structure / D. S. Mishin, V. T. Eremenko, M. Yu. Rytov / / Bulletin of the Bryansk state technical University. 2018-No. 4 (65). - Pp. 88-95

Eremenko, V. T. (2019). Mathematical models of information exchange algorithms of ad-hoc networks of geographically distributed construction objects. / V. A. Eremenko, V. T. Eremenko, V. M. Haramohan. Information systems and technology. 2019. - No. 2 (112). - Pp. 41-47

Eremenko, V.T. (2015). Method of forming test kits for security protocols in data processing systems. V. T. Eremenko, V. M. Haramohan. Information systems and technology. - 2015. - No. 2 (88). Pp. 131-137.

Hoare, H. (1989). Communicating sequential processes. – Moscow: Mir, 1989. - 264 pp.

Karan Palan, Priyanka Sharma. (2015). FANET Communication protocols: A Survey, Volume 7, Number 1, Sept 2015 - March 2016, pp. 219-223. DOI: 10.090592/IJCSC.2016.034.

Karpov, Yu. G. (1987). On the property of protocol coherence. Automatics and computer engineering, 1987, No. 4, pp. 38-40.

Konstantinov, I.S., Vasilyev, G.S., Kuzichkin, O.R., Surzhik, D.I., Lazarev, S.A. (2018). Numerical and Analytical Modeling of Wireless UV Communication Channels for the Organization of Wireless Ad-Hoc Network. IJCSNS - International Journal of Computer Science and Network Security - 2018. - Vol. 18, No. 8, pp. 98-104. Open access: http://paper.ijcsns.org/07_book/201808/20180815.pdf.

Konstantinov, I.S., Vasyliev, G.S., Kuzichkin, O.R., Surzhik, D.I., Kurilov, I.A., Lazarev, S.A. (2019). Development Of UV Communication Channels Characteristics Modeling Algorithm In A Mobile Ad-Hoc Network / Journal of Advanced Research in Dynamical and Control Systems (JARDCS) / ISSN: 1943-023X / Volume 11 | 08-Special Issue, 2019. Pages: 1920-1928. http://www.jardcs.org/abstract.php?id=2543

Kotov, V. E. (1984). Petri Nets. – Moscow: Nauka, 1984. - 160 pp.

Polshchykov, K.; Lazarev, S.; Kiseleva, E. (2019). Decision-making supporting algorithm for choosing the duration of the audio communication session in a mobile ad-hoc network, Revista de la Universidad del Zulia, 10 (27), 101-107.

Purohit, A., Zhang, P. (2009). Sensor Fly: a controlled-mobile aerial sensor network, in: Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems, SenSys ’09, ACM, New York, NY, USA, 2009, pp. 327–328.