Petri net modeling and software safety analysis: methodology for an embedded military application.
Lewis, Alan D.
Davis, Daniel L.
Kodres, Uno R.
MetadataShow full item record
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.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Naegel, Brad R. (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 ...
Riehle, Richard D. (Monterey, California. Naval Postgraduate School, 2008-09);New engineering disciplines are emerging in the late Twentieth and early Twenty-first Century. One such emerging discipline is software engineering. The engineering community at large has long harbored a sense of skepticism ...
Software acquisition: evolution, Total Quality Management and applications to the Army Tactical Missile System Barber, Wayland P. (Monterey, California. Naval Postgraduate School, 1992-06);Software acquisition has become the critical path in the procurement of Department of Defense (DOD) weapon systems. Software requirements and their complexity have increased at an exponential rate and support requirements ...