System and method for compiling temporal expressions

Details System and method for compiling temporal expressions System and method for compiling temporal expressions

2005-07-19

2005-07-19

Bonzo, Bryce P (Department: 2114)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C716S030000

Reexamination Certificate

active

06920583

ABSTRACT:
A system and method for enabling the behavior of temporal expressions to be analyzed for the evaluation of such expressions. The process of evaluating such expressions ultimately results in the construction of a finite state machine, such that the set of non-deterministic functions for describing the behavior of dynamic and relativistic systems is reduced to such a system. The behavior of the finite state machine can then be examined and analyzed. The present invention is useful for such applications as the examination of the temporal behavior of a DUT (device under test), as well as for examining the behavior of dynamic systems.

REFERENCES:
patent: 6182258 (2001-01-01), Hollander
Felder, Miguel and Moraenti, Angelo “Validating Real-time systems by history-checking TRIO Specifications” ACM 1994.
Yoon, Wan C. “Qualitative Modeling with Temporal Causality Network and Quantity Network” IEEE 1989.
Beer et al, “Rule Base: an Industry-Oriented Formal Verification Tool”,Proc. DAC, ACM, Jun., 1996.
Clarke et al, “Another Look at LTL Model Checking”,Proc. Of Computer-Aided Verification, Springer-Verlag, 1994.

Affiliated with

Also associated with

Rating

System and method for compiling temporal expressions does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for compiling temporal expressions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for compiling temporal expressions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3429542