Petri net modeling and software safety analysis: methodology for an embedded military application.
| dc.contributor.advisor | Davis, Daniel L. | |
| dc.contributor.author | Lewis, Alan D. | |
| dc.date | June 1988 | |
| dc.date.accessioned | 2012-11-27T18:18:20Z | |
| dc.date.available | 2012-11-27T18:18:20Z | |
| dc.date.issued | 1988-06 | |
| dc.identifier.uri | https://hdl.handle.net/10945/23349 | |
| dc.description.abstract | This 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. | en_US |
| dc.description.uri | http://archive.org/details/petrinetmodeling1094523349 | |
| dc.format.extent | 91 p. | en_US |
| dc.language.iso | en_US | |
| dc.rights | This 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.title | Petri net modeling and software safety analysis: methodology for an embedded military application. | en_US |
| dc.type | Thesis | en_US |
| dc.contributor.secondreader | Kodres, Uno R. | |
| dc.contributor.corporate | Naval Postgraduate School (U.S.) | |
| dc.contributor.department | Computer Science (CS) | |
| dc.subject.author | Petri nets | en_US |
| dc.subject.author | software safety | en_US |
| dc.subject.author | missile fuze | en_US |
| dc.subject.author | safety arming device | en_US |
| dc.subject.author | Petri net utilities | en_US |
| dc.subject.author | P-NUT | en_US |
| dc.description.service | Lieutenant, United States Navy | en_US |
| etd.thesisdegree.name | M.S. in Engineering Science | en_US |
| etd.thesisdegree.level | Masters | en_US |
| etd.thesisdegree.discipline | Engineering Science | en_US |
| etd.thesisdegree.grantor | Naval Postgraduate School | en_US |
| dc.description.distributionstatement | Approved for public release; distribution is unlimited. |
Files in this item
This item appears in the following Collection(s)
-
1. Thesis and Dissertation Collection, all items
Publicly releasable NPS Theses, Dissertations, MBA Professional Reports, Joint Applied Projects, Systems Engineering Project Reports and other NPS degree-earning written works.
Related items
Showing items related by title, author, creator and subject.
-
Total Ownership Cost—System Software Impacts
(Monterey, California. Naval Postgraduate School, 2017-04); NPS-CE-17-042Department of Defense (DoD) software-intensive systems and the software content in other systems will continue to grow and may dominate total ownership costs (TOC) in the future. These costs are exacerbated by the fact ... -
Total ownership cost - system software impacts
(Monterey, California. Naval Postgraduate School, 2017-04-19); NPS-CE-17-042Department of Defense (DoD) software-intensive systems and the software content in other systems will continue to grow and may dominate total ownership costs (TOC) in the future. These costs are exacerbated by the fact ... -
Achieving Better Buying Power for Mobile Open Architecture Software Systems through Diverse Acquisition Scenarios
(Monterey, California. Naval Postgraduate School, 2017-05); UCI-AM-17-041This research seeks to identify, track, and analyze software component costs and cost reduction opportunities within diverse acquisition life cycle scenarios for open architecture systems accommodating Web-based and mobile ...
