Research Summaries

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

Fiscal Year 2017
Division Graduate School of Engineering & Applied Science
Department Systems Engineering
Investigator(s) Giammarco, Kristin M.
Sponsor Naval Air Systems Command (Navy)
Summary 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 Verification & Validation (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. A NAVAIR-relevant system will be specified for use as a case study to test new or improved MPTs that are developed as a result of this task, which are expected to apply to other systems in many domains throughout DOD.
The need described above is the basis for the following FY17-18 research task objectives:
- formalize provided behavior specifications into MCSE architecture tool(s),
- demonstrate the use of the resulting architecture model for early V&V analysis of requirements, and
- capture formalized patterns of common design flaws or other model properties in a patterns catalog.
Keywords Monterey Phoenix System Architecture Validation Verification formal methods
Publications Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal