Monitoring of timing constraints with confidence threshold requirementsopen access
- Authors
- Lee, Chan Gun; Mok, Aloysius K.; Konana, Prabhudev
- Issue Date
- Jul-2007
- Publisher
- IEEE COMPUTER SOC
- Keywords
- constraints; monitors; real-time and embedded systems; fault tolerance; temporal logic
- Citation
- IEEE TRANSACTIONS ON COMPUTERS, v.56, no.7, pp 977 - 991
- Pages
- 15
- Journal Title
- IEEE TRANSACTIONS ON COMPUTERS
- Volume
- 56
- Number
- 7
- Start Page
- 977
- End Page
- 991
- URI
- https://scholarworks.bwise.kr/cau/handle/2019.sw.cau/24044
- DOI
- 10.1109/TC.2007.1026
- ISSN
- 0018-9340
1557-9956
- Abstract
- 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.
- Files in This Item
-
- Appears in
Collections - College of Software > School of Computer Science and Engineering > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/cau/handle/2019.sw.cau/24044)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.