Show simple item record

dc.contributor.advisorLundy, G.M.
dc.contributor.authorBulbul, Zeki Bulent
dc.dateJune 1993
dc.date.accessioned2012-11-29T16:21:24Z
dc.date.available2012-11-29T16:21:24Z
dc.date.issued1993-06
dc.identifier.urihttp://hdl.handle.net/10945/24220
dc.descriptionApproved for public release; distribution is unlimiteden_US
dc.description.abstractThis thesis introduces and describes a software tool called Mushroom which automates the analysis of network protocols specified by the Systems of Communicating Machines (SCM) and the Communicating Finite State Machines (CFSM) models. SCM is a formal model for the specification, verification and testing of communication protocols. This model was originally developed to improve the CFSM model which is a simpler and earlier Formal Description Technique (FDT). The program is developed as two separate programs in the Ada programming language. The first program automates either the system state analysis (Smart Mushroom), or the full global analysis (Big Mushroom) for a protocol specified by the SCM model. The second program called Simple Mushroom, automates to global reachability analysis for the CFSM model. Mushroom greatly facilitates the use of these models for protocol design and analysis. The run time and memory efficiency of a previous program was improved to allow the analysis of larger and more complex protocols. The program was also extended to accept up to eight machines (processes) in the protocol specification. The user interface of the program has also been improved. Mushroom has been used to verify some well known protocols specified by the SCM and CFSM models such as the token bus protocol, Go Back N and Lap-B data-link control protocol.en_US
dc.description.urihttp://archive.org/details/protocolvalidato00bulb
dc.format.extent136 p.en_US
dc.language.isoen_US
dc.publisherMonterey, California: Naval Postgraduate Schoolen_US
dc.rightsCopyright is reserved by the copyright owneren_US
dc.titleA protocol validator for the SCM and CFSM modelsen_US
dc.typeThesisen_US
dc.contributor.secondreaderShing, Man-Tak
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentDepartment of Computer Science
dc.subject.authorSystems of Communicating Machinesen_US
dc.subject.authorCommunicating Finite State Machinesen_US
dc.subject.authorSCMen_US
dc.subject.authorCFSMen_US
dc.subject.authorProtocol verificationen_US
dc.description.serviceLieutenant, Junior Grade, Turkish Navyen_US
etd.thesisdegree.nameMasters of 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