Show simple item record

dc.contributor.advisorLundy, G.M.
dc.contributor.authorTipici, H. Alphan.
dc.dateJune 1993
dc.date.accessioned2014-03-26T23:23:33Z
dc.date.available2014-03-26T23:23:33Z
dc.date.issued1993-06
dc.identifier.urihttp://hdl.handle.net/10945/39852
dc.descriptionApproved for public release; distribution is unlimited.en_US
dc.description.abstractWhile networks have been getting faster, perceived throughput at the application has not always increased accordingly and the bottleneck has moved to the communications processing part of the system. The issues that cause the performance bottlenecks in the current transport protocols are discussed in this thesis, and a further study on a high speed transport protocol which tries to overcome these difficulties with some unique features is presented. By using the Systems of Communicating Machines (SCM) model as a framework, a refined and improved version of the formal protocol specification is built over the previous work, and it is analyzed to verify that the protocol is free from logical errors such as deadlock, unspecified reception, unexecuted transitions and blocking loops. The analysis is conducted in two phases which consists of the application of the associated system state analysis and the simulation of the protocol using the programming language ADA. The thesis also presents the difficulties encountered during the course of the analysis, and suggests possible solutions to some of the problems.en_US
dc.format.extent86 p.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsCopyright is reserved by the copyright owneren_US
dc.titleSpecification and analysis of a high speed transport protocolen_US
dc.typeThesisen_US
dc.contributor.secondreaderShing, Man-Tak
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentDepartment of Computer Science
dc.subject.authorFormal specificationen_US
dc.subject.authorTransport protocolen_US
dc.subject.authorSystem state analysisen_US
dc.subject.authorGlobal analysisen_US
dc.subject.authorSCMen_US
dc.subject.authorCFSMen_US
dc.description.serviceLieutenant Junior Grade, Turkish Navyen_US
etd.thesisdegree.nameM.S. in Computer Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record