Compiling SDL Into The Finite State Specification Language Cospan

: The paper presents the design of a compiler that converts SDL [1] programs into another specification language COSPAN [2]. Whereas SDL is a continuously evolving ITU-T standard language with a Turing machine complexity used by telecommunication industries for system description and embedded software implementation, COSPAN is a finite state machine (FSM) based specification language used both for hardware and software design with powerful verification tools. The practical motivation for implementing an SDLCOSPAN interface is to make use of the COSPAN verification tools. The paper describes the interface design which is currently being implemented after a brief introduction into the SDL and COSPAN languages. Keywords: Formal methods, specification language, finite state verification. 1. Introduction SDL is a specification language with reasonably wide industrial usage, especially in communication industries. It is a ISO-CCITT (now ITU-T) standard which evolved with the changing techno..