Процедуры автоматизации процесса верификации подсистем блока управления перспективных космических аппаратов
Автор: Прудков Виктор Викторович
Журнал: Сибирский аэрокосмический журнал @vestnik-sibsau
Рубрика: Математика, механика, информатика
Статья в выпуске: 1 (34), 2011 года.
Бесплатный доступ
Описаны процедуры автоматизации программного обеспечения для верификации логики функционирования подсистем блока управления перспективных космических аппаратов. Представлены результаты, достигнутые после внедрения этих процедур.
Блок управления, центральный процессорный модуль, интерфейсный модуль сопряжения, автономная отработка, автоматизация
Короткий адрес: https://sciup.org/148176522
IDR: 148176522
Статья научная
