An extremely fast timing analysis algorithm has been developed to determine whether a rule-based expert system has bounded response time. Its capability has been demonstrated by the successful analysis of a number of industrial real-time expert systems developed by NASA and Mitre. Since state space graphs can be used to represent rule-based systems as well as many non-rule-based time-critical systems, the analysis technique is also applicable to the analysis of the latter. The paper reports on the application of this analysis algorithm to expedite the evaluation of non-rule-based real-time software prototypes in safety critical domains.
展开▼