Verification and Validation (V&V) of System Behavior Specifications

Authors
Giammarco, Kristin
Carlson, Ron
Blackburn, Mark
Auguston, Mikhail
Gehris, Rama
Jones, Marianna
Quartuccio, John
Giles, Kathleen
Wolfgeher, Chris
Parker, Gary
Subjects
Advisors
Date of Issue
2018-10-31
Date
Publisher
Language
en_US
Abstract
This technical report summarizes the accomplishments for Research Task RT-176 – Verification and Validation (V&V) of System Behavior Specifications. The NAVAIR workforce has a need for Model Centric Systems Engineering (MCSE) methods, processes and tools (MPTs) capable of assessing the goodness of system behavior specifications and other requirements earlier in the lifecycle of a system. In particular, the NAVAIR Systems Engineering Transformation (SET) initiative aims to leverage and extend existing research in the area of MPTs for performing early V&V of requirements and architecture models managed within its organization, and to educate its workforce in the use of automated tools for conducting early and continuous V&V across the entire lifecycle. Several Unmanned Aerial Vehicle (UAV) system models have been developed for use as a case study to test new and improved MPTs that have been developed as a result of this task. These MPTs are expected to apply to other systems in many domains throughout DOD and other government agencies.
Type
Report
Description
A013: Final Technical Report
Series/Report No
Department
Systems Engineering (SE)
Organization
Identifiers
NPS Report Number
Sponsors
Naval Air Systems Command (NAVAIR)
Funding
Contract No. HQ0034-13-D-0004
Format
Citation
Giammarco, Kristin, et al. "Verification and Validation (V&V) of System Behavior Specifications." Final report, (2018).
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.