A Mathematical Framework to Apply Tradespace Exploration to the Design of Verification Strategies
Loading...
Authors
Salado, Alejandro
Farkhondehmaal, Farshad
Subjects
Advisors
Date of Issue
2018-04-30
Date
04/30/18
Publisher
Monterey, California. Naval Postgraduate School
Language
Abstract
This paper is intended to disseminate some initial outcomes of the NPS Research Acquisition Program's "Tradespace Exploration for Better Verification Strategies"project. The research addresses the design of verification strategies in large-scale systems. Verification activities provide the evidence of contractual fulfillment. Thus, the importance of adequately defining verification activities in any acquisition program is unquestionable. Its significance extends beyond contracting though. The biggest portion of the development financial budget is spent in executing verification activities, and verification activities are the main vehicle in discovering knowledge about the system, which is key to reduce development risk. In current practice, the definition of verification strategies is driven by industry standards and subject matter expert assessment. This research addresses the main question of whether tradespace exploration can support the definition of more valuable verification strategies than current practice. We present in this paper a mathematical framework that enables the application of tradespace exploration to the design of verification strategies.
Type
Report
Description
Series/Report No
Department
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
SYM-AM-18-105
Sponsors
Naval Postgraduate School Acquisition Research Program
Funder
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.