The real-time constraint semantics of events-driven state transition for embedded control systems

In this paper, we study the process of physical state transition in the embedded system. The key to dramatically increase the efficiency of system is important to meet the deadline and the quality of task process for actors which were released the real-time events and were driven to transfer the state of the system. To address these two goals at the same time, we defined a real-time events label of the value constraint and clock constraint conditions, and established a super dense time model contained constraint conditions. Based on partial order model to simulate the state time sequence order, we proposed a real-time semantics of the state transition for embedded control systems. The embedded system state transition constraint while supporting the value constraint was proposed, and this model validation under the clock constraint of events, was ensured real-time operation in the process of execution sequence what has a certain event and state. An example of laser gyroscope blocking threshold test system is performed to evaluate the performance of the feedback controller in-depth research which has the effect of value constraint for the state transition of systems.