Publishing house Radiotekhnika

"Publishing house Radiotekhnika":
scientific and technical literature.
Books and journals of publishing houses: IPRZHR, RS-PRESS, SCIENCE-PRESS

Тел.: +7 (495) 625-9241


Progrma-verifier of missions for autonomous underwater vehicle


V. F. Filaretov, D. A. Juhimec, E. Sh. Mursalimov

In this paper, an approach for development of program-verifier whereby it is carried out a check of mission for autonomous underwater vehicle (AUV) is proposed. The approach is consisted in substitution of standard libraries, in which described access to all resources of AUV, on libraries which carry out transmit of commands and parameters of these commands to external program-verifier. The program-verifier considerably facilitate localization of logical error in mission and show state of AUV and its on-board equipments when commands execution of mission.
June 24, 2020
May 29, 2020

© Издательство «РАДИОТЕХНИКА», 2004-2017            Тел.: (495) 625-9241                   Designed by [SWAP]Studio