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