A rapid protocol prototyping development system

With the rapid growth in the applications of computer networks, protocol implementations have become essential. Such implementations require error-free and unambiguous protocol design and specification. One solution to this problem is to formally specify a protocol using formal languages to eliminate ambiguity and form the base's for verification, validation, implementation and testing. Estelle and ASN.1 are two formal languages standardised by ISO, Estelle being used for specifying distributed and concurrent information processing systems, and ASN.1 being used mainly for specifying application Protocol Data Units (PDUs). This paper presents a rapid protocol prototyping development system, which facilitates the automatic implementation and verification of the unification of Estelle and ASN.1 specifications.