Show simple item record

dc.contributor.advisorLundy, Gilbert M.
dc.contributor.authorAlmquist, Martin Scott
dc.dateSeptember 1995
dc.date.accessioned2013-08-13T22:06:30Z
dc.date.available2013-08-13T22:06:30Z
dc.date.issued1995-09
dc.identifier.urihttps://hdl.handle.net/10945/35100
dc.description.abstractThe problem addressed by this research is to formally specify and analyze a proposed wireless network media access protocol. The protocol, named MACAW for Multiple Access Collision Avoidance Wireless, was described in ACM SIGCOMM Proceedings 94 Vol. 24 #4. The approach taken was to use the formal model Systems of Communicating Machines to develop a formal specification of the protocol. An initial specification was derived directly from the original proposal in order to reveal any unresolved problems. The formal specification was then refined to produce a more precise and unambiguous specification. The refined specification was used to analyze the protocol using system state analysis for properties such as liveness and deadlock. Liveness is the property of positive progression while deadlock is an undesirable property where a state is reached that cannot be left. The results are a specification of MACAW as originally proposed and a refined specification which provides an unambiguous understanding of the protocol. The analysis determined that the protocol is free of deadlock. Also presented are three new transitions between MACAW states, which were suggested by the analysis.en_US
dc.description.urihttp://archive.org/details/formalspecificat1094535100
dc.format.extent87 p.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleFormal specification and analysis of a wireless media access protocolen_US
dc.typeThesisen_US
dc.contributor.departmentComputer Science
dc.description.funderNAen_US
dc.description.recognitionNAen_US
dc.description.serviceU.S. Marine Corps (U.S.M.C.) author.en_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