A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft

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 verificati...

Full description

Saved in:
Bibliographic Details
Published in:Automation and remote control 2023-10, Vol.84 (10), p.1047-1054
Main Authors: Kul’ba, V. V., Mikrin, E. A., Pavlov, B. V., Somov, S. K.
Format: Article
Language:English
Subjects:
CAE) and Design
Calculus of Variations and Optimal Control
Optimization
Computer-Aided Engineering (CAD
Control
Control systems
Mathematics
Mathematics and Statistics
Mechanical Engineering
Mechatronics
Onboard equipment
Program verification (computers)
Robotics
Spacecraft
Spacecraft control
Systems Theory
Topical Issue
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0005-1179
1608-3032
DOI:10.1134/S0005117923100065