RTSYNCHRONIZER - LANGUAGE SUPPORT FOR REAL-TIME SPECIFICATIONS IN DISTRIBUTED SYSTEMS

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 programming language construc t for specifying real-time constraints between objects in a distribute d concurrent system. During program execution, RTsynchronizers affect the scheduling of distributed objects to enforce real-time relations b etween events. Objects in our system are defined in terms of the actor model extended with timing assumptions. Separation of the functional behaviors of actors and the timing constraints on patterns of actor in vocation provides at least three important advantages. First, it simpl ifies code development by separating design concerns. Second, multiple timing constraints can be independently specified and composed. And f inally, a specification of timing constraints can be reused even if th e representation of the functional behavior of actors has changed, and conversely. A number of examples are given to illustrate the use of R Tsynchronizers. These examples illustrate how real-time constraints fo r periodic events, simultaneous events, exception handling, and produc er-consumer may be specified.