DESIGN OF A REDUNDANCY PROTOCOL

منو

" DESIGN OF A REDUNDANCY PROTOCOL "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	151889
Doc. No	:	ET23681
Main Entry	:	JOANNA Q. ZANG
Title Proper	:	DESIGN OF A REDUNDANCY PROTOCOL
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	This thesis uses a concrete example to illustrate network protocol design methodology.The example is a redundancy protocol implemented on a cable router.Background knowledge is introduced for the cable plant, DOCSIS protocol,redundancy and availability initiatives, as well as Packetcable availability requirements.Based on the requirements, a redundancy architecture is established, the redundancyprotocol HANP is defined. Up to this point, concept abstraction is accomplished. A realworld problem is modeled and resolved by this user defined protocol.Using a multi-level finite state engine, protocol state machine is developed. Theverification of FSM is through Murphi Verifier and FSM diagrams.The usefulness of this protocol is evaluated to show its viability to solve problems thatoccur when systems contain redundant elements.............-....,....-...,..tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL46928.pdf
Title and statement of responsibility and	:	DESIGN OF A REDUNDANCY PROTOCOL [Thesis]