Метод аппаратных мутаций в отладочном комплексе наземных испытаний бортовой аппаратуры космических аппаратов

Автор: Недорезов Дмитрий Александрович, Хабаров Виталий Александрович, Абрамов Егор Анатольевич, Ощепкова Дарья Геннадьевна

Журнал: Сибирский аэрокосмический журнал @vestnik-sibsau

Рубрика: Математика, механика, информатика

Статья в выпуске: 4 (56), 2014 года.

Бесплатный доступ

Предложено решение задачи повышения качества наземных испытаний бортовой радиоэлектронной аппаратуры перспективных космических аппаратов. Решение основывается на применении авторской методики мутационного тестирования для проведения наземных испытаний, базирующейся на имитации процесса функционирования аппаратуры и программного обеспечения при воздействии факторов космического пространства. Изложены результаты разработки означенной методики и рассмотрены примеры ее применения для наземных испытаний бортовой аппаратуры космических аппаратов. Предложенный подход базируется на применении в составе эмуляторов конечной аппаратуры реконфигурируемых ПЛИС и позволяет перейти на качественно новый уровень при проведении наземных испытаний. Применение высокоскоростных ПЛИС в составе испытательной аппаратуры позволяет достичь требуемой скорости функционирования и степени реконфигурируемости при имитации внешних дестабилизирующих факторов. За счет этого осуществляется имитация функционирования аппаратных модулей в реальных условиях эксплуатации. При применении разработанного метода аппаратных мутаций осуществляется реконфигурирование систем непосредственно в процессе тестирования конечной аппаратуры, что позволяет осуществлять имитационное моделирование типичных сбоев и отказов, возникающих в критических узлах электронной аппаратуры космических аппаратов, с максимальным приближением к реальным условиям эксплуатации. Имитация происходит путем внесения мутационных операторов в описание функциональных узлов аппаратуры с последующей генерацией ПЛИС-проектов, реализуемых в комплексе. Разработаны алгоритмы проведения испытаний согласно предложенной методике, выделены основные этапы тестирования, включающие процесс формализации поведения каналов ввода-вывода прибора при конкретной неисправности, формирование журнала регистрации неисправностей и разработку кодов описания аппаратуры для имитации алгоритмов функционирования отладочного комплекса. В рамках разработанной методики помимо аппаратуры мутации подвергается и бортовое программное обеспечение встраиваемых микропроцессорных систем. Для применения разработанного метода реализован и введен в промышленную эксплуатацию лабораторный отладочный комплекс. Изложены результаты разработки комплекса и способов его применения для специальных испытаний радиоэлектронной аппаратуры. Изложены результаты испытаний комплекса и основные пути развития предлагаемого подхода.

Еще

Мутационное тестирование, языки описания аппаратуры, отработка, радиоэлектронная аппаратура, плис, отладочный комплекс

Короткий адрес: https://sciup.org/148177338

IDR: 148177338

Список литературы Метод аппаратных мутаций в отладочном комплексе наземных испытаний бортовой аппаратуры космических аппаратов

  • Гуров В. Аппаратные средства Compact PCI производства ADLINK Technology//Современные технологии автоматизации. 2011. № 2. С. 30-36.
  • Трэвис Дж., Кринг Дж. Lab VIEW для всех. СПб.: ДМК Пресс, 2011.
  • Непомнящий О. В., Легалов А. И., Рыженко И. Н. Технология архитектурно-независимого, высокоуровневого синтеза сверхбольших интегральных схем//Доклады АН ВШ РФ/НГТУ. 2014. Т. 57, № 3. С. 35-39.
  • Недорезов Д. А., Непомнящий О. В., Пичкалев А. В., Красненко С. С. Применение ПЛИС для моделирования логики функционирования бортовой радиоэлектронной аппаратуры космических аппаратов//Вестник СибГАУ. 2014. Вып. 1 (53). С. 133-136.
  • Красненко С. С., Недорезов Д. А., Кашкин В. Б., Пичкалев А. В. Магистрально-модульная система для отработки бортовой радиоэлектронной аппаратуры//Вестник СибГАУ. 2013. Вып. 2 (48). С. 133-136.
  • Непомнящий О. В., Легалов А. И., Сиротинина Н. Ю. Маршруты высокоуровневого синтеза сверхбольших интегральных схем//Журнал Сиб. федер. ун-та. Серия «Техника и технологии». 2014. № 6. С. 674-684.
  • Непомнящий О. В., Вейсов Е. А., Правитель А. С. Однокристальные системы с динамической реконфигурацией в радиоэлектронной аппаратуре специального назначения//Успехи современной радиоэлектроники. 2014. № 5. С. 25-29.
  • Непомнящий О. В., Скотников Г. А., Хабаров В. А., Мадудов М. В. Сверхбольшие интегральные схемы. Проблемы проектирования//Вопросы современной науки и практики/Ун-т им. В. И. Вернадского. 2009. № 6(20). С. 166-173.
  • Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов/Д. А. Недорезов //Системы и средства информатики. 2014. № 1 (24). С. 75-78.
  • Непомнящий О. В., Шайдуров В. В., Вейсов Е. А. Проблемы и решения проектирования микропроцессорных модулей навигационной аппаратуры пользователей ГЛОНАСС//Вестник СибГАУ. 2009. Вып. 4(25). С. 14-18.
  • Filip Van Laenen Mutation testing//Overload Journal. 2012. № 108. С. 16-22.
  • DeMillo R. A., Lipton R. J., Sayward F. G. Hints on test data selection: Help for the practicing programmer//IEEE Computer. 1978. С. 34-41.
  • Offutt A. J., Lee S. D. An empirical evaluation of weak mutation//IEEE Transactions on Software Engineering. 1994. № 20. С. 337-344.
  • Формальная верификация при проектировании сверхбольших интегральных схем/О. В. Непомнящий //Вестник КрасГАУ. 2014. № 4. С. 87-79.
  • Способы реализации имитаторов радионавигационных сигналов/О. В. Непомнящий //Вестник СибГАУ. 2014. Вып. 1(53). С. 30-34.
Еще
Статья научная