Research on Software-Defined High-Confidence Space Equipment Architecture

Traditional aerospace equipment development is highly integrated with software and hardware, which is not conducive to hardware sharing and software reuse, and on-orbit reconfiguration capability is limited, severely restricting the strategic development of the aerospace industry. The article proposes the architecture of software-defined highly credible space equipment, focusing on solving the pain points existing in the traditional development mode, aiming to realize the decoupling of software and hardness through the establishment of hardware abstraction layer by embedded real-time operating system, and verifying its credible mechanism through formal modeling, standardize software programming, clarify logic and automate testing with portability and deterministic. Software-defined technology is expected to fundamentally change the production mode and industrial ecology of spacecraft, triggering a new round of technological innovation in the aerospace industry.