Title :
A rapid protocol prototyping development system
Author :
Jirachiefpattana, Ajin ; Lai, Richard
Author_Institution :
Dept. of Comput. Sci. & Eng., La Trobe Univ., Bundoora, Vic., Australia
Abstract :
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
Keywords :
computer aided software engineering; formal specification; project support environments; protocols; reachability analysis; software prototyping; specification languages; ASN.1 specifications; Estelle; computer networks; formal languages; implementation; protocol data units; protocol design; rapid protocol prototyping development system; specification; testing; validation; verification; Computer science; Design engineering; Formal languages; Formal specifications; ISO standards; Positron emission tomography; Protocols; Prototypes; Runtime library; Software tools;
Conference_Titel :
Rapid System Prototyping, 1995. Proceedings., Sixth IEEE International Workshop on
Conference_Location :
Chapel Hill, NC
Print_ISBN :
0-8186-7100-9
DOI :
10.1109/IWRSP.1995.518580
