- PII
- 10.31857/S0005231023100057-1
- DOI
- 10.31857/S0005231023100057
- Publication type
- Article
- Status
- Published
- Authors
- Volume/ Edition
- Volume / Issue number 10
- Pages
- 48-58
- Abstract
- 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.
- Keywords
- космический аппарат программное обеспечение бортовой комплекс управления комплексная отработка программного обеспечения
- Date of publication
- 15.10.2023
- Year of publication
- 2023
- Number of purchasers
- 0
- Views
- 10
References
- 1. Микрин Е.А., Кульба В.В., Павлов Б.В. Разработка моделей и методов проектирования информационно-управляющих систем космических аппаратов // АиТ. 2013. № 3. С. 38-50.
- 2. Микрин Е.А., Кульба В.В., Косяченко С.А., Сомов Д.С., Гладков Ю.М. Комплексная отработка программного обеспечения бортового комплекса управления космическими аппаратами и имитационные модели функционирования бортовых систем и внешней среды. Препринт. М.: ИПУ РАН, 2011.
- 3. Кульба В.В., Микрин Е.А., Павлов Б.В., Платонов В.Н. Теоретические основы проектирования информационно-управляющих систем космических аппаратов. М.: Наука, 2006.
- 4. Куренков В.И., Кучеров А.С. Методы исследования эффективности ракетно-космических систем. Проблемно-ориентированные системы автоматизированного проектирования. Изд-во Самар. гос. аэрокосм. ун-та, 2012.
- 5. Зеленцов В.А., Ковалев А.П., Охтилев М.Ю., Соколов Б.В., Юсупов Р.М. Методология создания и применения интеллектуальных информационных технологий наземно-космического мониторинга сложных объектов / Труды СПИИРАН. 2013. Вып. 5(28).
- 6. Микрин Е.А. Бортовые комплексы управления космическими аппаратами и проектирование их программного обеспечения M.: МГТУ им. Н.Э. Баумана, 2003. 336 с.
- 7. Микрин Е.А. Принципы построения бортовых комплексов управления автоматических космических аппаратов / Е.А. Микрин, Н.А. Суханов, В.Н. Платонов и др. // Проблемы управления. 2004. № 3. С. 62-66.
