MSPLS Spring '95 Workshop

RTsynchronizer, a High-Level Language Construct for Specifying Real-Time Constraints in Distributed Concurrent Systems

Shangping Ren
Dept. of Computer Science, University of Illinois at Urbana-Champaign

We argue that the specification of an object's functional behavior and the timing constraints imposed on it may be separated. Specifically, we describe RTsynchronizer, a high-level language construct for specifying real-time constraints in distributed concurrent systems. Rtsynchronizers describe the real-time relation between events over a group of objects. Objects in our system are defined in terms of the actor model extended with timing assumptions. A number of examples are given to illustrate the use of RTsynchronizers -- including periodic events, simultaneous events, exception handling, producer-consumer, and a control process.

Gerald Baumgartner