Show simple item record

dc.contributor.advisorDavis, Daniel L.
dc.contributor.authorLewis, Alan D.
dc.dateJune 1988
dc.date.accessioned2012-11-27T18:18:20Z
dc.date.available2012-11-27T18:18:20Z
dc.date.issued1988-06
dc.identifier.urihttp://hdl.handle.net/10945/23349
dc.descriptionApproved for public release; distribution is unlimited
dc.description.abstractThis thesis investigates the feasibility of software safety analysis using Petri net modeling and an automated suite of Petri Net UTilities (P-NUT) developed at UC Irvine. We briefly introduce software safety concepts, Petri nets, reachability theory, and the use of P-NUT. We then develop a methodology to combine these ideas for efficient and effective preliminary safety analysis of a real-time, embedded software, military system.
dc.description.urihttp://archive.org/details/petrinetmodeling00lewi
dc.format.extent91 p.en_US
dc.language.isoen_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.
dc.titlePetri net modeling and software safety analysis: methodology for an embedded military application.en_US
dc.typeThesisen_US
dc.contributor.secondreaderKodres, Uno R.
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science
dc.subject.authorPetri netsen_US
dc.subject.authorsoftware safetyen_US
dc.subject.authormissile fuzeen_US
dc.subject.authorsafety arming deviceen_US
dc.subject.authorPetri net utilitiesen_US
dc.subject.authorP-NUTen_US
dc.description.serviceLieutenant, United States Navy
etd.thesisdegree.nameM.S. in Engineering Scienceen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.disciplineEngineering 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