LAUSR

It is important to evaluate function behaviors and performance features of task scheduling algorithm in the multi-processor system. A novel dynamic measurement method (DMM) was proposed to measure the task scheduling algorithm’s correctness and dependability. In a multi-processor system, task scheduling problem is represented by a combinatorial evaluation model, interactive Markov chain (IMC), and solution space of the algorithm with time and probability metrics is described by action-based continuous stochastic logic (aCSL). DMM derives a path by logging runtime scheduling actions and corresponding times. Through judging whether the derived path can be received by task scheduling IMC model, DMM analyses the correctness of algorithm. Through judging whether the actual values satisfy label function of the initial state, DMM analyses the dependability of algorithm. The simulation shows that DMM can effectively characterize the function behaviors and performance features of task scheduling algorithm.