Supporting valid-time indeterminacy
ACM Transactions on Database Systems (TODS)
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)
Intrusion Detection in Real-Time Database Systems via Time Signatures
RTAS '00 Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000)
Early detection of timing constraint violation at runtime
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Efficient verification of real-time systems: compact data structure and state-space reduction
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)
Formal Semantics of Composite Events for Distributed Environments
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
Temporal Signatures for Intrusion Detection
ACSAC '01 Proceedings of the 17th Annual Computer Security Applications Conference
An event service architecture in distributed real-time systems
An event service architecture in distributed real-time systems
Monitoring of Timing Constraints with Confidence Threshold Requirements
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
IEEE Transactions on Software Engineering
Probabilistic Timing Join over Uncertain Event Streams
RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
A Generic Framework for Monitoring Timing Constraints over Uncertain Events
RTSS '06 Proceedings of the 27th IEEE International Real-Time Systems Symposium
Implementation and performance evaluation of a real-time e-brokerage system
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Safe Runtime Verification of Real-Time Properties
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Feasibility of semiring-based timing constraints
ACM Transactions on Embedded Computing Systems (TECS)
Model feasible interactions in distributed real-time systems
Formal modeling
| Hi-index | 14.98 |
In many emerging time-critical applications, the exact time of event occurrences may not be known. In such cases, events can be represented as a probabilistic occurrence within a time interval. Thus, monitoring of timing constraints, generally used in time-critical systems, needs to incorporate the uncertainty of event occurrences. In this paper, we propose mechanisms to monitor the satisfaction/violation of timing constraints that can be assessed probabilistically. We assume a uniform distribution of event occurrence within a time interval. Our proposed algorithm determines whether the probability that a timing constraint has been satisfied exceeds a specified threshold value. A confidence threshold is a minimum satisfaction probability of the timing constraint. A timing constraint is violated if the confidence threshold is not reached. We design an efficient monitoring algorithm for detecting timing violations of a set of timing constraints by finding the earliest expiration time (EET) for each timing constraint. Since it is critical to derive implicit constraints for early detection of violation of timing constraints, we present the derivation of the implicit constraints under uncertainty using an all--pairs shortest path algorithm. Further, we propose pruning techniques to discard unnecessary implicit constraints. We present the properties and proofs of our approach.