Title :
Fast static timing analysis of real-time systems
Author :
Cheng, Albert Mo Kim
Author_Institution :
Dept. of Comput. Sci., Houston Univ., TX, USA
Abstract :
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
Keywords :
expert systems; program verification; real-time systems; safety; software reliability; Mitre; NASA; bounded response time; fast timing analysis algorithm; formal verification; industrial real-time expert systems; real-time systems; rule-based expert system; safety critical domains; software prototypes; state space graphs; time-critical systems; Algorithm design and analysis; Delay; Expert systems; Knowledge based systems; NASA; Real time systems; Software safety; State-space methods; Time factors; Timing;
Conference_Titel :
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location :
Kauai, HI
Print_ISBN :
0-8186-2420-5
DOI :
10.1109/HICSS.1992.183303
