Modeling of real-time scheduling for distributed embedded systems
Yunfeng Ai · Journal of Computer Applications · 2008
Aiming at the deficiencies of RBTPN in modeling real-time scheduling of distributed embedded system, we put forward a new extended time Petri Net model on its base. The model introduces transition rate factor on transitions that need processor resources, and gets working rate function of transitions that have the same priority, so that the model combine preemptive scheduling based on fixed priority and round-robin scheduling on single processor in the scheduling modeling of distributed embedded system Then we gave construction method of the model's reachable graph so as to get the characteristics of scheduling sequences.