An Approach for the Verification of Trusted Operation on Automatic Control System

Abstract

The automatic control system is very important to space launch. Even if the control system has been tested, there is still no very effective method to ensure the trusted operation of the system. We propose an approach for the trusted operation and verification of control system. Based established control system model in the paper, the trusted elements of the core controller are configuration transformation and state transferring in the control system operation. The state transferring of each module inside each controller is stamped by the stamping method. The state stamps of output result are verified at the output port of each module. The trusted state transferring is used to ensure the credibility of the operation. The paper analyzes the approach’s security under environmental impact as well as independent and joint attack. The approach is tested by building a simulation platform. It is proved to be safe and reliable. Also, it is feasible to apply in launch site.