RT-CDL - A DISTRIBUTED REAL-TIME DESIGN LANGUAGE AND ITS OPERATIONAL SEMANTICS

RT-CDL, real-time common design language, has been designed to support a compositional methodology for the development of reliable real-time reactive systems. The primary goal of the RT-CDL project is to provide a tool to bridge the gap between specification and realization of programs. The language is based on the event-action model and overcomes several limitations of existing real-time languages. In this paper, we discuss the formal operational semantics of RT-CDL as well as its interesting language features. The semantics employs Plotkin's labeled transition systems using the maximal parallelism model of Salwicki and Muldner. Our investigation reveals that the language features provided by RT-CDL are indeed suitable for a spectrum of real-time applications. We illustrate the features through an example of a dialling controller.