Communicating Shared Resources: A Model for Distributed Real-Tim Systems (MS-CIS-89-26)

Abstract

The timing behavior of a real-time system depends not only on delays due to process synchronization, but also on resource requirements and scheduling. However, most real-time models have abstracted out resource-specific details, and thus assume operating environments such as maximum parallelism or pure interleaving. This paper presents a real-time formalism called communicating Shared Resources (CSR). 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. We provide a full denotational semantics for the programming language, grounded in our resource-based computation model. To illustrate CSR, we present a distributed robot system consisting of a robot arm and a sensor.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1989
Accession Number
ADA218836

Entities

People

  • Insup Lee
  • Richard Gerber

Organizations

  • Moore School of Electrical Engineering

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Alphabets
  • Classification
  • Competition
  • Computations
  • Computer Programming
  • Computers
  • Engineering
  • Grammars
  • Information Science
  • Language
  • Multithreading
  • Networks
  • Operating Systems
  • Programming Languages
  • Robots
  • Scheduling (Production)
  • Security

Fields of Study

  • Computer science
  • Engineering

Readers

  • Business Analytics
  • Computational Linguistics
  • Parallel and Distributed Computing.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • Autonomy
  • Autonomy - Autonomous System Control