A Dynamic Scheduling Algorithm for Real-Time Expert Systems

Computational characteristics of real-time expert systems have been the subject of research for more than a decade. The computation time required to complete inferences carried out by expert systems present high variability, which usually leads to severe under-utilization of resources when the design of the schedule of inferences is based on their worst computation times. Moreover, the event-based aperiodic activation of inferences increases the risk of transient overloads, as during critical conditions of the controlled or monitored environment the arrival rate of events increases. The dynamic scheduling algorithm presented in this article obtains statistical bounds of the time required to complete inferences on-line, and uses these bounds to schedule inferences achieving highly effective utilization of resources. In addition, this algorithm handles transient overloads using a robust approach. During overloads our algorithm completes nearly as many inferences as other dynamic scheduling algorithms, but shows significantly better effective utilization of resources.

[1]  Charles U. Martel,et al.  On non-preemptive scheduling of period and sporadic tasks , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[2]  Alan Gordon,et al.  The COM and COM+ Programming Primer , 2000 .

[3]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .

[4]  Aloysius K. Mok,et al.  Response-time bounds of rule-based programs under rule priority structure , 1994, 1994 Proceedings Real-Time Systems Symposium.

[5]  Charles Lanny Forgy,et al.  On the efficient implementation of production systems. , 1979 .

[6]  A. L. Freedman,et al.  Real-time computer systems , 1977 .

[7]  Hideyuki Tokuda,et al.  A Time-Driven Scheduling Model for Real-Time Operating Systems , 1985, RTSS.

[8]  Jan Karel Lenstra,et al.  Complexity of machine scheduling problems , 1975 .

[9]  A. K. Erlang The theory of probabilities and telephone conversations , 1909 .

[10]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[11]  Marco Spuri,et al.  Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling , 1996 .

[12]  C. D. Locke,et al.  Best-effort decision-making for real-time scheduling , 1986 .

[13]  Sanjoy K. Baruah,et al.  On-line scheduling to maximize task completions , 1994, 1994 Proceedings Real-Time Systems Symposium.

[14]  E.L. Lawler,et al.  Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey , 1977 .

[15]  Jeng-Rung Chen,et al.  Response Time Analysis of OPS5 Production Systems , 2000, IEEE Trans. Knowl. Data Eng..

[16]  Franz Barachini,et al.  Frontiers in Run-Time Prediction for the Production-System Paradigm , 1994, AI Mag..