A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft

IF 0.6 4区计算机科学 Q4 AUTOMATION & CONTROL SYSTEMS

Automation and Remote Control Pub Date : 2024-02-25 DOI:10.1134/S0005117923100065

V. V. Kul’ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov

引用次数: 0

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.

查看原文本刊更多论文

航天器机载控制系统的综合软件验证技术

摘要本文从概念上阐述了航天器机载控制系统软件综合验证的主要原则。通过严格阐述和求解相应的优化问题，选择了最佳的星载软件综合验证策略。提出了具有功能正确性指标的软件验证方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Automation and Remote Control 工程技术-仪器仪表

CiteScore

1.70

自引率

28.60%

发文量

审稿时长

3-8 weeks

期刊介绍： Automation and Remote Control is one of the first journals on control theory. The scope of the journal is control theory problems and applications. The journal publishes reviews, original articles, and short communications (deterministic, stochastic, adaptive, and robust formulations) and its applications (computer control, components and instruments, process control, social and economy control, etc.).