Telecommunications – Radiotelephone system – Zoned or cellular telephone system
Reexamination Certificate
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).
Jagadeesan Lalita J.
Viswanathan Ramesh
Alcatel-Lucent USA Inc.
Phu Sanh D
LandOfFree
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.
Profile ID: LFUS-PAI-O-4080732