Monitoring of timing constraints with confidence threshold requirements
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Chan Gun | - |
dc.contributor.author | Mok, Aloysius K. | - |
dc.contributor.author | Konana, Prabhudev | - |
dc.date.available | 2019-05-30T06:31:59Z | - |
dc.date.issued | 2007-07 | - |
dc.identifier.issn | 0018-9340 | - |
dc.identifier.issn | 1557-9956 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/cau/handle/2019.sw.cau/24044 | - |
dc.description.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. | - |
dc.format.extent | 15 | - |
dc.language | 영어 | - |
dc.language.iso | ENG | - |
dc.publisher | IEEE COMPUTER SOC | - |
dc.title | Monitoring of timing constraints with confidence threshold requirements | - |
dc.type | Article | - |
dc.identifier.doi | 10.1109/TC.2007.1026 | - |
dc.identifier.bibliographicCitation | IEEE TRANSACTIONS ON COMPUTERS, v.56, no.7, pp 977 - 991 | - |
dc.description.isOpenAccess | Y | - |
dc.identifier.wosid | 000246651400011 | - |
dc.identifier.scopusid | 2-s2.0-34547882697 | - |
dc.citation.endPage | 991 | - |
dc.citation.number | 7 | - |
dc.citation.startPage | 977 | - |
dc.citation.title | IEEE TRANSACTIONS ON COMPUTERS | - |
dc.citation.volume | 56 | - |
dc.type.docType | Article | - |
dc.publisher.location | 미국 | - |
dc.subject.keywordAuthor | constraints | - |
dc.subject.keywordAuthor | monitors | - |
dc.subject.keywordAuthor | real-time and embedded systems | - |
dc.subject.keywordAuthor | fault tolerance | - |
dc.subject.keywordAuthor | temporal logic | - |
dc.subject.keywordPlus | COMPOSITE EVENTS | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalResearchArea | Engineering | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Hardware & Architecture | - |
dc.relation.journalWebOfScienceCategory | Engineering, Electrical & Electronic | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
84, Heukseok-ro, Dongjak-gu, Seoul, Republic of Korea (06974)02-820-6194
COPYRIGHT 2019 Chung-Ang University All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.