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

A013: Final Technical ReportThis 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.Naval Air Systems Command (NAVAIR)Contract No. HQ0034-13-D-000