Applying Architecture Modeling Methodology to the Naval Gunship Software Safety Domain
Loading...
Authors
Rivera, Joey
Auguston, Mikhail
Finkbine, Ronald
Subjects
Advisors
Date of Issue
2011
Date
Publisher
Language
Abstract
This paper describes an architectural modeling tool (called “Eagle6”) that was developed to support the Navy’s Software System Safety Technical Review Panel (SSSTRP) evaluation process. The Eagle6 tool is based on the Monterey Phoenix (MP) modeling methodology and has the capability to create and verify system architecture models, check formal assertions via pre-defined macro commands, and has a visualization tool that generates graphical representations of model’s behavior (scenarios). The Eagle6 toolset has two scenario generation modes: exhaustive search for model verification within scope, and random trace generation for statistical estimates of non-functional properties, like performance. The paper demonstrates how the Eagle6 tool can improve the SSSTRP evaluation process by use of formal assertions to test for software states that are considered unsafe.
Type
Article
Description
The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of the U.S. Government.
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funding
Format
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.