Trust Analysis Of Cyber Physical System Based On Motion Control

With the development of industrial technology,the increasing demand for complex products makes industrial production face more and more challenges.Cyber-physical System(CPS)has become the core content of "Industry 4.0".As a typical distributed architecture,CPS adopts distributed intelligent manufacturing equipment to replace traditional centralized industrial production system,so as to realize more intelligent and flexible production mode.Under the CPS multi-device mode,there are higher requirements for the scheme design of the system,solving the problem of high concurrency in the communication of multi-device units,coordinating and controlling multi-device units and ensuring the reliability of the control program of the device unit,which will directly determine whether the CPS can run stably and efficiently.This paper focuses on the research of Cyber-physical System based on motion control,and establishes the system model for trust analysis on the basis of scheme design.The research contents mainly include the following aspects:(1)Combining the characteristics of CPS and the typical three-tier architecture system,specific design schemes at the information layer,network layer and physical layer are proposed.Hierarchical decision mechanism and multi-agent System(MAS)are used to reduce the coupling between System domains.(2)For the problem of coordinated control of CPS multi-device units,optimization is carried out from three aspects,namely,message processing mechanism to improve the message processing capacity of the information layer,hierarchical decision mechanism to reduce the interaction between device units and the information layer,and improved contract network mechanism to optimize the task allocation efficiency.(3)In order to verify the feasibility of the scheme and conduct trust analysis,a formal model is established for the coordination control program of the information layer and the motion control program of the equipment unit respectively by using the time automaton to conduct model verification.Finally,the feasibility of the information layer scheme is verified by using the customizable beverage filling line equipment developed in the laboratory.At the same time,a master control-controlled automata model was established for the filling function of pipeline equipment,and the model was verified by UPPAAL,a verification tool.Through experimental comparison and analysis,the scheme designed based on this paper can effectively complete the coordinated control of multiple device units,and the master-controlled automata model can also accurately reflect the operation and interaction of device units,ensuring the reliable operation of device unit programs.