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

fYear

1989

fDate

5-7 Dec 1989

Firstpage

68

Lastpage

78

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real Time Systems Symposium, 1989., Proceedings.

Conference_Location

Santa Monica, CA

Print_ISBN

0-8186-2004-8

Type

conf

DOI

10.1109/REAL.1989.63558

Filename

63558