A rapid protocol prototyping development system

Author

Jirachiefpattana, Ajin ; Lai, Richard

Author_Institution

Dept. of Comput. Sci. & Eng., La Trobe Univ., Bundoora, Vic., Australia

fYear

1995

fDate

7-9 Jun 1995

Firstpage

118

Lastpage

124

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid System Prototyping, 1995. Proceedings., Sixth IEEE International Workshop on

Conference_Location

Chapel Hill, NC

ISSN

1074-6005

Print_ISBN

0-8186-7100-9

Type

conf

DOI

10.1109/IWRSP.1995.518580

Filename

518580