Abstract
Language constructs for the expression of timing and concurrency requirements in distributed real-time programs are presented. The approach to concurrent real-time programming is to explicitly express real-time concurrency constraints in a program and allow the run-time system to enforce them. To define these constraints precisely, the authors develop a real-time concurrency model that combines an object-based paradigm for the specification of shared resources, a distributed transaction-based paradigm for the specification of application processes, support for timing constraints, and support for precedence ordering. An implementation of the language constructs with real-time scheduling and locking for concurrency control is also described.<>