Fiscal Year	2015
Division	Graduate School of Engineering & Applied Science
Department	Systems Engineering
Investigator(s)	Madachy, Raymond J.
Sponsor	Office of the Deputy Assistant Secretary of Defense for Systems Engineering (DoD)
Summary	This research continues the DoD Systems Engineering Research Center (SERC) Research Topic 113 for the Ilities Tradespace and Affordability Program (iTAP). This Phase 4 Task 2 is "iTAP Methods and Tools Piloting and Refinement". It is a collaboration with AFIT for a joint Intelligence, Surveillance and Reconnaissance (ISR) mission application involving heterogeneous teams of autonomous and cooperative agents. NPS will provide cost modeling expertise, tools and Monterey Phoenix (MP) modeling support. A focus will be on translations between models/tools in MBSE, specifically mapping architectural elements into cost model inputs. The approach will first develop a baseline operational and system architecture to capture a set of military scenarios. We will transition the baseline architecture to the MP environment. We will utilize the executable architecture modeling framework of MP to perform automated assertion checking and find counterexamples of behavior that violate the expected system's correctness.
Keywords
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