В. Ф. Филаретов д. т. н., проф, зав. лаб., Институт автоматики и процессов управления ДВО РАН Д. А. Юхимец к. т. н., ст. научн. сотрудник, Институт автоматики и процессов управления ДВО РАН Э. Ш. Мурсалимов аспирант, Институт автоматики и процессов управления ДВО РАН

Предложен подход для разработки программы-верификатора, с помощью которой осуществляется проверка миссий для автономных подводных аппаратов (АПА). Подход заключается в подмене стандартных библиотек, в которых описан доступ ко всем ресурсам АПА, на библиотеки, которые осуществляют передачу команд со всеми их параметрами во внешнюю программу-верификатор, где эти команды выполняются и ото-бражаются в удобном для программиста виде. Программа-верификатор существенно облегчает поиск логических ошибок в миссии, отображает состояние АПА и его бортовых устройств при выполнении команд программы-задания, а также, используя 3D-визуализацию, отображает траекторию движения аппарата.