The proposed effort will have significant range of applications across various NASA multi-disciplinary engineering centers that are in charge of System Design where FM is an integral part of the System Design process. Clearly establishing the relationships between the design goals/intents and the consequent sub-goals, and derived state variables in the success space, with their complements in the Failure-space domain as practiced in TEAMS® Toolset widely used across NASA will be of tremendous value to NASA's Systems Engineering and SHM communities. One such clear application is the Space Launch System (SLS), managed by Marshall Space Flight Center. The QSI team has close relationship with the NASA MSFC SHM team responsible for the design of the FM system who are also current users of the TEAMS® software. Likewise other immediate applications of this technology will be with the Orion Multi-purpose Crew Vehicle (MPCV) Program, managed by Johnson Space Center, and the Ground Systems Development and Operations Program, the operations and launch facilities at NASA's Kennedy Space Center in Cape Canaveral, Florida. Other strong users of SysML, with strong FM programs include Glenn Research Center, Ames Research Center, and Jet Propulsion Laboratory. The aviation programs at ARC and at Langley Research Center are also likely long-term beneficiaries of this project, to translate design information into operations and maintenance models such as TEAMS® specializes in. Among the other agencies that follow a strict system engineering and design process somewhat similar to NASA's are DoD institutions such as the Missile Defense Agency, Air Force and Navy. These are the most likely potential customers for the resulting technologies. Design verification and validation of Complex military systems (systems of systems) such as NORAD, Space Command ground segments, the Joint Strike Fighter fleet, the Navy shipboard platforms, Ballistic Missile Defense (BMD), etc. for the purpose of reliable and cost effective system and FM design can be ensured by using the targeted capabilities implemented in TEAMS®. In addition, UAVs, UMGs and other unmanned submersible vehicle markets where the FM aspects of system design is required to be highly efficient and cost-effective because of the natural budgetary pressures, could also be potential targets for the proposed technology. The product is also expected to be of commercial value to the manufacturers of DoD and military's remotely guided weapons and reconnaissance systems where the vendors supply health management systems/schemes for them. Outside of the DoD, electrical power and nuclear power utilities also require rigorous modeling techniques such as those developed here. The automotive industry is also now adopting more formal methods than in the past, largely drawn from aerospace applications but adapted to the automotive context.