Methods and apparatus for passive mid-stream monitoring of...

Details Methods and apparatus for passive mid-stream monitoring of... Methods and apparatus for passive mid-stream monitoring of...

2005-11-29

2009-10-06

Phu, Sanh D (Department: 2618)

Telecommunications

Radiotelephone system

Zoned or cellular telephone system

C379S015010, C379S014000

Reexamination Certificate

active

07599688

ABSTRACT:
Methods and apparatus are provided for passive mid-stream monitoring of real-time properties. A passive mid-stream monitoring process is disclosed that determines whether a system is faulty. The passive mid-stream monitoring process obtains a real-time correctness property and a passively monitored mid-stream observation of the system. A timed correctness property, Aσ, is constructed from the passively monitored mid-stream observation. An intersection of the real-time correctness property and the timed correctness property is then determined to determine if the system is faulty. A passively testable determination process is also disclosed that determines whether a real-time correctness property for a system is passively testable. A determination is made as to whether (i) a set of all timed traces that are correct according to the real-time correctness property is timed prefix and timed suffix closed; and (ii) a system would satisfy the real-time correctness property if all timed-trace behaviors of the system would be included in the set.

REFERENCES:
patent: 5293323 (1994-03-01), Doskocil et al.
patent: 5740233 (1998-04-01), Cave et al.
patent: 5790633 (1998-08-01), Kinser et al.
patent: 6493425 (2002-12-01), Abe
Netravali et al., “Correct Passive Testing Algorithms and Complete Fault Coverage”, 23rdIFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), pp. 303-318 (2003).

Affiliated with

Also associated with

Rating

Methods and apparatus for passive mid-stream monitoring of... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and apparatus for passive mid-stream monitoring of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and apparatus for passive mid-stream monitoring of... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4080732