Проектирование высоконадежных систем автоматического управления движением корабля