abstract: Описаны процедуры автоматизации программного обеспечения для верификации логики функционирования подсистем блока управления перспективных космических аппаратов. Представлены результаты, достигнутые после внедрения этих процедур.
keywords: блок управления, центральный процессорный модуль, интерфейсный модуль сопряжения, автономная отработка