Software system architecture modeling methodology for naval gun weapon systems
Loading...
Authors
Rivera, Joey
Subjects
Open architecture
software requirements
software safety
COTS safety analysis
software system architecture
modeling
environmental modeling
assertion checking
software requirements
software safety
COTS safety analysis
software system architecture
modeling
environmental modeling
assertion checking
Advisors
Auguston, Mikhail
Date of Issue
2010-12
Date
December 2010
Publisher
Monterey, California. Naval Postgraduate School
Language
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.
Type
Thesis
Description
Series/Report No
Department
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
xx, 173 p. : ill. ; 28 cm.
Citation
Distribution Statement
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.