Title :
Communicating shared resources: a model for distributed real-time systems
Author :
Gerber, Richard ; Lee, Insup
Author_Institution :
Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA
Abstract :
A real-time formalism called communicating shared resources (CSR) is presented. CSR consists of a programming language that allows the explicit expression of timing constraints and resources, and a computation model that resolves resource contention based on event priority. A full denotational semantics is provided for the programming language, grounded in a resource-based computation model. To illustrate CSR, a distributed robot system consisting of a robot arm and a sensor is presented
Keywords :
distributed processing; programming languages; programming theory; real-time systems; denotational semantics; distributed real-time systems; distributed robot system; event priority; model; programming language; resource contention; sensor; shared resources communicating; timing constraints; Computational modeling; Concurrent computing; Delay; Information science; Interleaved codes; Parallel processing; Processor scheduling; Real time systems; Robot sensing systems; Timing;
Conference_Titel :
Real Time Systems Symposium, 1989., Proceedings.
Conference_Location :
Santa Monica, CA
Print_ISBN :
0-8186-2004-8
DOI :
10.1109/REAL.1989.63558
