Формализация процессов испытаний бортовой аппаратуры космического аппарата : научное издание

Перевод названия: Formalization of test processes of the spacecraft onboard equipment

Тип публикации: статья из журнала

Год издания: 2016

Ключевые слова: космический аппарат, командно-измерительная система, поддержка проведения испытаний, сценарий испытаний, spacecraft, command and measuring system, test execution support, scripts of testing

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

Ссылки на полный текст

Издание

Журнал: Образовательные ресурсы и технологии

Выпуск журнала: 2

Номера страниц: 131-138

ISSN журнала: 23125500

Место издания: Москва

Издатель: Частное образовательное учреждение высшего образования Московский университет им. С.Ю. Витте

Авторы

  • Вогоровский Родион Вячеславович (Институт вычислительного моделирования СО РАН, Сибирский федеральный университет, г. Красноярск)
  • Ноженкова Людмила Федоровна (Институт вычислительного моделирования СО РАН, Сибирский федеральный университет, г. Красноярск)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.