Abstract
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 Müldner. 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
