Verification and Validation (V and V) of System Behavior Specifications
Abstract
This technical report summarizes the accomplishments for Research Task RT-176 Verification and Validation (V and 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 and 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 and 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 31, 2018
- Accession Number
- AD1063328
Entities
People
- Kristin Giammarco
- Mark Blackburn
- Ron Carlson
Organizations
- Naval Postgraduate School