Title :
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
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;
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
DOI :
10.1109/TRICOM.1991.152881
