Runtime monitoring of timing constraints in distributed real-time systems
dc.contributor.author | Jahanian, Farnam | en_US |
dc.contributor.author | Rajkumar, Ragunathan | en_US |
dc.contributor.author | Raju, Sitaram C. V. | en_US |
dc.date.accessioned | 2006-09-11T19:45:12Z | |
dc.date.available | 2006-09-11T19:45:12Z | |
dc.date.issued | 1994-11 | en_US |
dc.identifier.citation | Jahanian, Farnam; Rajkumar, Ragunathan; Raju, Sitaram C. V.; (1994). "Runtime monitoring of timing constraints in distributed real-time systems." Real-time Systems 7(3): 247-273. <http://hdl.handle.net/2027.42/48087> | en_US |
dc.identifier.issn | 0922-6443 | en_US |
dc.identifier.issn | 1573-1383 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/48087 | |
dc.description.abstract | Embedded real-time systems often operate under strict timing and dependability constraints. To ensure responsiveness, these systems must be able to provide the expected services in a timely manner even in the presence of faults. In this paper, we describe a run-time environment for monitoring of timing constraints in distributed real-time systems. In particular, we focus on the problem of detecting violations of timing assertions in an environment in which the real-time tasks run on multiple processors, and timing constraints can be either inter-processor or intra-processor constraints. Constraint violations are detected at the earliest possible time by deriving and checking intermediate constraints from the user-specified constraints. If the violations must be detected as early as possible, then the problem of minimizing the number of messages to be exchanged between the processors becomes intractable. We characterize a sub-class of timing constraints that occur commonly in distributed real-time systems and whose message requirements can be minimized. We also take into account the drift among the various processor clocks when detecting a violation of a timing assertion. Finally, we describe a prototype implementation of a distributed run-time monitor. | en_US |
dc.format.extent | 1728400 bytes | |
dc.format.extent | 3115 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | text/plain | |
dc.language.iso | en_US | |
dc.publisher | Kluwer Academic Publishers; Springer Science+Business Media | en_US |
dc.subject.other | Computer Science | en_US |
dc.subject.other | Performance and Reliability | en_US |
dc.subject.other | Processor Architectures | en_US |
dc.subject.other | Special Purpose and Application-Based Systems | en_US |
dc.subject.other | System Performance and Evaluation | en_US |
dc.subject.other | Communications Engineering, Networks | en_US |
dc.subject.other | Control Engineering | en_US |
dc.title | Runtime monitoring of timing constraints in distributed real-time systems | en_US |
dc.type | Article | en_US |
dc.subject.hlbsecondlevel | Computer Science | en_US |
dc.subject.hlbsecondlevel | Management | en_US |
dc.subject.hlbsecondlevel | Business (General) | en_US |
dc.subject.hlbsecondlevel | Economics | en_US |
dc.subject.hlbtoplevel | Engineering | en_US |
dc.subject.hlbtoplevel | Business | en_US |
dc.description.peerreviewed | Peer Reviewed | en_US |
dc.contributor.affiliationum | Department of Electrical Engineering and Computer Science, University of Michigan, 48109, Ann Arbor, MI | en_US |
dc.contributor.affiliationother | Software Engineering Institute, Carnegie-Mellon University, 15213, Pittsburgh, PA | en_US |
dc.contributor.affiliationother | Department of Computer Science and Engineering, University of Washington, 98195, Seattle, WA | en_US |
dc.contributor.affiliationumcampus | Ann Arbor | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/48087/1/11241_2005_Article_BF01088521.pdf | en_US |
dc.identifier.doi | http://dx.doi.org/10.1007/BF01088521 | en_US |
dc.identifier.source | Real-time Systems | en_US |
dc.owningcollname | Interdisciplinary and Peer-Reviewed |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe its collections in a way that respects the people and communities who create, use, and are represented in them. We encourage you to Contact Us anonymously if you encounter harmful or problematic language in catalog records or finding aids. More information about our policies and practices is available at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.