Task schedulability verification method for distributed system

• Main Authors: ZHU GUOFENG, YU LE, CHI PENGCHENG
• Format: Patent
• Language: Chinese; English
• Published: 17.12.2021
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

The invention discloses a task schedulability verification method for a distributed system. The task schedulability verification method comprises the following steps: 1, simulating the distributed system by adopting a processor model based on a timed automaton model, a task model, a scheduling model and a network bus model; wherein the task model sets a task in a ready state after the task is issued, and adjusts the state of the task according to the scheduling of the scheduling model and the attribute of the task; the scheduling model schedules the task to the processor model or the network bus model according to a scheduling rule; the processor model or the network bus model carries out switching between an idle state and an occupied state according to a processor or a bus simulated by the processor model or the network bus model after receiving the tasks distributed by the scheduling model; and 2, verifying and analyzing whether the task is completed at the deadline time, the occupation condition of the bu