Software Trustworthy Modeling and Verification Algorithm for CPS Time Attributes

Cyber-physical system, that is, CPS is a system that integrates physical and computer elements to detect the environment. It can intelligently respond to dynamic changes in the real world and provide excellent application possibilities. However, the time attribute of CPS is located in a complex physical environment, and the surrounding physical changes will affect the behavior of the time attribute of CPS. Existing verification methods are usually used for the overall performance of the software, and cannot directly assess the impact of power consumption on the effectiveness of CPS scheduling software. Therefore, this paper is dedicated to modeling the software effectiveness of CPS time attributes and evaluating the feasibility of the verification algorithm. A software modeling and verification algorithm based on CPS time attributes is proposed. According to some rules have been defined, to ensure the time, safety and reliability of the software trusted modeling and verification algorithms for CPS time attributes in the network environment Sex. The research goal of this research is to verify the algorithm based on software reliability modeling and CPS scheduling attributes, aiming to provide a framework for the integration of software reliability modeling, and a model-based verification algorithm for CPS scheduling attributes. Based on the relevant knowledge and theory in practice, this paper proposes a software credibility modeling and verification algorithm suitable for the time attribute of CPS. Experimental evidence shows that the construction of CPS time attribute system will greatly improve the efficiency of software credibility modeling and verification algorithms, and can promote the design and optimization of software credibility modeling and verification algorithms.