Fast static timing analysis of real-time systems

Author

Cheng, Albert Mo Kim

Author_Institution

Dept. of Comput. Sci., Houston Univ., TX, USA

Volume

ii

fYear

1992

fDate

7-10 Jan 1992

Firstpage

560

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on

Conference_Location

Kauai, HI

Print_ISBN

0-8186-2420-5

Type

conf

DOI

10.1109/HICSS.1992.183303

Filename

183303