Software system architecture modeling methodology for naval gun weapon systems
Abstract
This dissertation describes the development of an architectural modeling methodology that supports the Navy's requirement to evaluate potential changes to gun weapon systems in order to identify potential software safety risks. The modeling methodology includes a tool (Eagle6) that is based on the Monterey Phoenix (MP) modeling methodology, and has the capability to create and verify MP models, execute formal assertions via pre-defined macro commands, and a visualization tool that generates graphical representations of model scenarios. The Eagle6 toolset has two scenario generation modes, Exhaustive Search for model verification within scope, and Random trace generation for statistical estimates of nonfunctional properties, such as performance. The dissertation demonstrates how the Eagle6 tool may improve the SSSTRP evaluation process by including a methodology to use formal assertions to test for software states that are considered unsafe.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
A benchmarking methodology for the centralized-database computer with expandable and parallel database processors and stores
Demurjian, Steven A.; Vincent, James R.; Hsiao, David K. (Monterey, California. Naval Postgraduate School, 1985-08); NPS52-85-011In this paper a benchmarking methodology for a new kind of database computers is introduced. The emergence in the research community and in the commercial world of this kind of database computer (known as the multiple-backed ... -
Methodology for the system integration of adaptive resilience in armor
Cannon, Joseph Patrick (Monterey, California: Naval Postgraduate School, 2016-09);This dissertation introduces a novel augmentation to system-engineering methodology based on the integration of adaptive capacity, which produces enhanced resilience in technological systems that operate in complex operating ... -
A Systems Engineering Methodology for Analyzing Systems of Systems Using the Systems Modeling Language (SysML)
Huynh, Thomas V.; Osmundson, John S. (2006-01);A systems engineering methodology for analyzing a system of systems (SoS) elucidated in this paper involves the use of process modeling, modeling of the SoS with the systems modeling language (SysML), and subsequent ...