A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft

Capa

Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Acesso é pago ou somente para assinantes

Resumo

This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software
is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed.

Sobre autores

V. Kul'ba

Trapeznikov Institute of Control Sciences, Russian Academy of Sciences

Email: kulba@ipu.ru
Moscow, Russia

E. Mikrin

Trapeznikov Institute of Control Sciences, Russian Academy of Sciences

Email: kulba@ipu.ru
Moscow, Russia

B. Pavlov

Trapeznikov Institute of Control Sciences, Russian Academy of Sciences

Email: pavlov@ipu.ru
Moscow, Russia

S. Somov

Trapeznikov Institute of Control Sciences, Russian Academy of Sciences

Autor responsável pela correspondência
Email: ssomov2016@ipu.ru
Moscow, Russia

Bibliografia

  1. Микрин Е.А., Кульба В.В., Павлов Б.В. Разработка моделей и методов проектирования информационно-управляющих систем космических аппаратов // АиТ. 2013. № 3. С. 38-50.
  2. Микрин Е.А., Кульба В.В., Косяченко С.А., Сомов Д.С., Гладков Ю.М. Комплексная отработка программного обеспечения бортового комплекса управления космическими аппаратами и имитационные модели функционирования бортовых систем и внешней среды. Препринт. М.: ИПУ РАН, 2011.
  3. Кульба В.В., Микрин Е.А., Павлов Б.В., Платонов В.Н. Теоретические основы проектирования информационно-управляющих систем космических аппаратов. М.: Наука, 2006.
  4. Куренков В.И., Кучеров А.С. Методы исследования эффективности ракетно-космических систем. Проблемно-ориентированные системы автоматизированного проектирования. Изд-во Самар. гос. аэрокосм. ун-та, 2012.
  5. Зеленцов В.А., Ковалев А.П., Охтилев М.Ю., Соколов Б.В., Юсупов Р.М. Методология создания и применения интеллектуальных информационных технологий наземно-космического мониторинга сложных объектов / Труды СПИИРАН. 2013. Вып. 5(28).
  6. Микрин Е.А. Бортовые комплексы управления космическими аппаратами и проектирование их программного обеспечения M.: МГТУ им. Н.Э. Баумана, 2003. 336 с.
  7. Микрин Е.А. Принципы построения бортовых комплексов управления автоматических космических аппаратов / Е.А. Микрин, Н.А. Суханов, В.Н. Платонов и др. // Проблемы управления. 2004. № 3. С. 62-66.

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML
Baixar

Declaração de direitos autorais © The Russian Academy of Sciences, 2023