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.
[1] Rachid Sijelmassi,et al. The PET and DINGO Tools for Deriving Distributed Implementations from Estelle , 1993, Comput. Networks ISDN Syst..
[2] Jonathan Billington,et al. PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..
[3] Richard Lai,et al. Verifying Estelle specifications: numerical Petri nets approach , 1993, 1993 International Conference on Network Protocols.