Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Toward Duration-Based, Constrained and Dynamic Event Types
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
Event Composition in Time-Dependent Distributed Systems
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Efficient Run-Time Monitoring of Timing Constraints
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
Early detection of timing constraint violation at runtime
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
The Monitoring of Timing Constraints on Time Intervals
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Is Point-Based Semantics Always Adequate for Temporal Databases?
TIME '00 Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00)
A framework for event composition in distributed systems
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Implementation and performance evaluation of a real-time e-brokerage system
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
An assertion-based verification methodology for system-level design
Computers and Electrical Engineering
Monitoring of Timing Constraints with Confidence Threshold Requirements
IEEE Transactions on Computers
| Hi-index | 0.00 |
We propose an algorithm for monitoring timing constraintsto satisfy confidence threshold requirements whenthere is uncertainty in the exact timing of event occurrences.In our model, a timed event trace is examined for possiblesatisfaction/violation with respect to a given set of timingconstraints.Every event occurence has a timestamp givenby a time interval.Assuming that the time of occurence isuniformly distributed over the time interval, our algorithmdetermines whether the probability that a timing constrainthas been satisfied exceeds a specified threshold value.Timingconstraints are composed of deadline and delay constraintsfor which satisfaction probabilities are defined.Aconfidence threshold is a minimum satisfaction probabilityof the timing constraint.A timing constraint is violated if theconfidence threshold is not reached by the timed event trace.We present a PTime monitoring algorithm for detecting timingviolation by finding the earliest expiration time (EET)of the deadline timer for each of the cases P = 100%,50% 驴 P