RTC: Language Support for Real-Time Concurrency

Abstract

This paper presents a model and language constructs for expressing timing and concurrency requirements in distributed real-time programs. Our approach combines an abstract data type paradigm for the specification of shared resources and a distributed transaction-based paradigm for the specification of application processes. Resources provide abstract views of shared system entities, such as devices and data structures. Each resource has a state and defines a set of actions that can be invoked by processes to examine or change its state. A resource also specifies scheduling constraints on the execution of its action to ensure its consistency. Processes access resources by invoking actions by expressing precedence, execution and timing constraints on action invocations. The implementation of our language constructs and the use of this system to control the simulation of a distributed robotics application is also described.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1992
Accession Number
ADA515294

Entities

People

  • Insup Lee
  • Susan B. Davidson
  • Victor Wolfe

Organizations

  • University of Pennsylvania

Tags

DTIC Thesaurus Topics

  • Application Software
  • Cartesian Coordinates
  • Computer Graphics
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • Engineering
  • Graphics
  • Information Science
  • Language
  • Measurement
  • Multithreading
  • Operating Systems
  • Programming Languages
  • Scheduling (Production)
  • Simulations

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Environmental Impact Assessment (EIA) of Proposed Air Force Base Actions.
  • Parallel and Distributed Computing.

Technology Areas

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