A layered communications system generator

Author

Hung, Yung-Chen ; Chen, Gen-Huey

Author_Institution

Dept. of Comput. Sci. & Inf. Eng., Nat. Taiwan Univ., Taipei, Taiwan

fYear

1991

fDate

18-19 Apr 1991

Firstpage

115

Lastpage

130

Abstract

A layered communication system generator is proposed for automatic implementation of various layered communication systems. The layered communication system generator is established based on a generalized communication system framework. A layered communicating finite state machine (L_CFSM) is introduced to specify the layered communication systems. A matrix approach combined with reachability analysis is used for protocol validation. The authors have established the proposed layered communication system generator on DOS and UNIX environments, in which several real-world protocols from DoD and IEEE 802 protocol standards organizations have been successfully developed

Keywords

computer networks; finite automata; protocols; standards; DOS; IEEE 802 protocol standards; L_CFSM); UNIX; finite state machine; generalized communication system framework; layered communications system generator; matrix approach; protocol validation; reachability analysis; Automata; Computer networks; Computer science; ISO standards; Information processing; Open systems; Protocols; Reachability analysis; Standards organizations; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications Software, 1991, 'Communications for Distributed Applications and Systems', Proceedings of TRICOMM '91., IEEE Conference on

Conference_Location

Chapel Hill, NC

Print_ISBN

0-87942-649-7

Type

conf

DOI

10.1109/TRICOM.1991.152881

Filename

152881