+7 (495) 957-77-43

Article-10_12-2018

Извините, этот техт доступен только в “Американский Английский”. For the sake of viewer convenience, the content is shown below in the alternative language. You may click the link to switch the active language.

INSTRUMENT FOR VERIFYNG CONTROL PROGRAMS FOR UNMANNED VECHICLES

Dmitry N. Frantasov, SSTU, Samara, Russia, frantasov@mail.ru
Pavel A. Melnikov, SSTU, Samara, Russia, gleavero@gmail.com
Anna S. Klimas, SSTU, Samara, Russia, anyuta.klimas.ru

Abstract
The Project is aimed to help free developers to write software for unmanned vehicles by creating a universal and publicly available tool. It allows you to calculate in advance what combination of commands will allow the device to function smoothly, and which will lead to a failure at any stage, so you can check all possible variants of the program, and understand exactly what the error or failure occurred. Also, the programm can offer developers options to get rid of conflict situations. An algorithm has already been developed for the analysis of all variants of branching control programs and the database, which will store the result of such an algorithm. A variant of optimization of the program analysis algorithm is proposed to reduce the time spent on the full analysis of all branches. A variant of creating an expert system to assist in the analysis and correction of errors is proposed. More will be created by the developer community and knowledge base on the basis of the Samara State Transport University of that will help students and professionals in the development of CP to communicate on our platform and improve your skills and quality.

Keywords: transport, database, machine learning.

References

1. Frantsov D.N. (2018). Tools program verification control of unmanned vehicles. Problems of science. Vol. 2(26), February, pp. 12-14.
2. Kalentiyev A.A. (2010). Development of information support for the spacecraft control algorithm design process. Vestnik Samarskogo gosudarstvennogo aerokosmicheskogo unversiteta. Vol. 1(21), pp. 58-62.
3. Frantsov D.N. (2018). Development and implementation of an algorithm for determining possible paths of program execution control of unmanned vehicles. International scientific-technical conference «Perspective information technologies — 2018». Vol. 1, pp. 899-902.
4. Frantsov D.N. (2018). The development of an algorithm to determine possible paths of program execution control of unmanned vehicles. Mezhdunarodnaya nauchno-issledovatelskaya konferenciya molodyh uchenikh, aspirantov, studentov i starsheklassnikov, «Molodezhnaya nauka v XXI veke: tradtsii, inovatsii, vektori razvitiya». Vol. 1, pp. 82-83.
5. Frantsov D.N. (2018). Conditions of optimization algorithm for determining possible paths of program execution control of unmanned vehicles. Problems of science. Vol. 5(29), May, pp. 22-23.

Information about authors:
Dmitry N. Frantasov, Ph. D., SSTU, Samara, Russia
Pavel A. Melnikov, student, SSTU, Samara, Russia
Anna S. Klimas, student, SSTU, Samara, Russia