Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty
Abstract
An important area of computer applications is real-time process control, in which a computer system interacts with a real-world system in order to guarantee certain desirable real-world behavior. In most interesting cases, the real-world requirements involve timing properties, and so the behavior of the computer system is required to satisfy certain timing constraints. In order to be able to guarantee timing constraints, the computer system must satisfy some assumptions about time - for example, its various components should operate at known speeds. A timing-based variant of the mutual exclusion problem is considered. In this variant, only an upper-bound on the time it takes to release the resource is known, and no explicit signal is sent when the resource is released; furthermore; the only mechanism to measure real time is an inaccurate clock, whose tick intervals take time between two constants. Keywords: Distributed systems, I/O Automata, Process control, Real-time systems, Resource allocation, Timed I/O automata, Time bounds.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1989
- Accession Number
- ADA213791
Entities
People
- Hagit Attiya
- Nancy Lynch
Organizations
- Massachusetts Institute of Technology