TEAMS Fault Management Extension for State-based Design and Simulation

Reliable testing and Vamp;V of fault management (FM) during design, implementation and operations is an essential part of systems engineering design and development of critical space programs such as the SLS, Gateway and Artemis. FM is challenging to design, implement, and verify in the presence of numerous failure scenarios cutting across various subsystems and disciplines. In turn, the hardware, software, and operational mechanisms are equally diverse, and the processes to design, implement, and verify them need to integrate and operate diverse subsystems. Powerful MBSE tools for FM design, implementation, and verification include State Analysis Model (SAM) to discover algorithm, procedure, sequencing, and other errors, prior to testing and to assess potential design changes. The SAM models are effective in capturing state transitions during nominal and off-nominal states and determine if mitigating actions are effective given the transition to an off-nominal state.nbsp; However, exploring very large set of potential state transitions driven by different component failure modes and their nbsp;impacts can be challenging, and manual creation of such models with more complete coverage can be arduous for large interconnected systems such as the SLS or the Gateway. QSI plans to integrate TEAMSreg; analytic capabilities with design and simulation software such as NASArsquo;s SAM to provide live detection, evaluation, diagnosis and recovery from failures. The team proposes a TEAMSreg; software interface for the SAM modeling environment, that (1) performs FM analysis of a system design modeled in SAM, (2) enables the FM design to be evaluated in an operational context by performing SHM functions during simulations that can support an extensive set of component-level physical and functional failure scenarios, (3) supports trade studies to evaluate merits of FM Fault Protection schemes; (4) enables ldquo;Systemrdquo; level assessment and visualization of FM qualities implicit in the SAM State Machines.