A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft
- 作者: Kul'ba V.1, Mikrin E.1, Pavlov B.1, Somov S.1
-
隶属关系:
- Trapeznikov Institute of Control Sciences, Russian Academy of Sciences
- 期: 编号 10 (2023)
- 页面: 48-58
- 栏目: Articles
- URL: https://journals.rcsi.science/0005-2310/article/view/233416
- DOI: https://doi.org/10.31857/S0005231023100057
- EDN: https://elibrary.ru/YEDKZJ
- ID: 233416
如何引用文章
详细
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.
作者简介
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
编辑信件的主要联系方式.
Email: ssomov2016@ipu.ru
Moscow, Russia
参考
- Микрин Е.А., Кульба В.В., Павлов Б.В. Разработка моделей и методов проектирования информационно-управляющих систем космических аппаратов // АиТ. 2013. № 3. С. 38-50.
- Микрин Е.А., Кульба В.В., Косяченко С.А., Сомов Д.С., Гладков Ю.М. Комплексная отработка программного обеспечения бортового комплекса управления космическими аппаратами и имитационные модели функционирования бортовых систем и внешней среды. Препринт. М.: ИПУ РАН, 2011.
- Кульба В.В., Микрин Е.А., Павлов Б.В., Платонов В.Н. Теоретические основы проектирования информационно-управляющих систем космических аппаратов. М.: Наука, 2006.
- Куренков В.И., Кучеров А.С. Методы исследования эффективности ракетно-космических систем. Проблемно-ориентированные системы автоматизированного проектирования. Изд-во Самар. гос. аэрокосм. ун-та, 2012.
- Зеленцов В.А., Ковалев А.П., Охтилев М.Ю., Соколов Б.В., Юсупов Р.М. Методология создания и применения интеллектуальных информационных технологий наземно-космического мониторинга сложных объектов / Труды СПИИРАН. 2013. Вып. 5(28).
- Микрин Е.А. Бортовые комплексы управления космическими аппаратами и проектирование их программного обеспечения M.: МГТУ им. Н.Э. Баумана, 2003. 336 с.
- Микрин Е.А. Принципы построения бортовых комплексов управления автоматических космических аппаратов / Е.А. Микрин, Н.А. Суханов, В.Н. Платонов и др. // Проблемы управления. 2004. № 3. С. 62-66.