A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft
Automation and Remote Control(2023)
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.
MoreTranslated text
Key words
spacecraft,software,onboard control system,comprehensive software verification
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined