Modeling And Analysis Of Embedded Industrial Control System Based On Time Automata

With the development of national economy, real-time embedded control systems have been widely deployed in industrial applications. To model and analyze the action of real-time control system is an important part of correctness and security of real-time control systems. That is to say, the corresponding real-time response to different input data must be guaranteed.Real-time constraint is an important feature of real-time systems. For real-time computer systems the emergence and completeness of many actions are relevant to time. In order to ensure the correctness and reliability of real-time systems, the systems must be analyzed and verified strictly. Not only must the logic validity be ensured, but also the time validity must be ensured, i.e. the time limit must be met. Because of the strong modelling ability of the UML modelling tool, it has been widely used in system analysis and design of industrial control. Meanwhile, time automata is the most widely applied tool for the formal modelling and verification of real-time systems. In this paper UML and the corresponding extended modelling method is described, and the formal definition of time automata is introduced. Thus the modeling method of industrial control systems based on time automata and the automatic transformation from industrial control systems to time automata are discussed. Finally on the basis of analysis on the practical example, UML and time automata formation are used to model the main scenario of the real-time control system. And the model is verified and analyzed with time automata. The key problem of modeling industrial control systems is how to verify the security and activeness. The verification of security can be transformed into the accessible analysis of time automata, and the activeness problem can be transformed into the portability of status. One of the advantages of this strategy is, that the validity of the system can be proved, and the other is, that the security and speed can be ensured during the train operation.The method proposed in this paper is used to troubleshoot the logic or other problems of some practical industrial control systems. And the experiment results show that the method presented in this paper effectively verify the correctness and activity of the systems.