Prototyping from SDL specifications using a real-time concurrent logic language

Abstract

The ITU specification and description language (SDL) is often used in the field of telecommunications to specify both protocols and overall systems. Since such systems are often both large and complex, it is desirable to simulate and execute SDL. Although traditional programming languages such as C and Pascal are adequate for implementing such a simulator/code generator, several advantages can be gained from using a real time logic language. Real-Time Parlog presents many advantages since it directly supports both the concepts of timing and concurrency, without direct user knowledge of the underlying operating system.