QUALTECH SYSTEMS, INC. — National Aeronautics and Space Administration SBIR Phase I: S17

Description

Reliable Vamp;V and testing 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.nbsp;NASArsquo;s Mission and Fault Management group currently utilizes SAM to assess nominal andnbsp;FM algorithms prior to full-scale real-time testing, to proactively check potential algorithm changes before finalizing algorithm design and to search for integration issues across multiple subsystems, vehicles, and systems. However, exploring large set of state transitions driven bynbsp;multiple component failure modes and their impactsnbsp;is challengingnbsp;for large interconnected systems such as the Gateway.The key innovation in this proposal is to bridge the gap between state machine modeling which seeks a top-level system view for FM and the more bottom-up physical and functional failure models by connecting state machine modeling tools such as MathWorksreg; Stateflow andnbsp;the newest revision 2 of vendor-neutral Systems Modeling Language (SysML v2),nbsp;tonbsp;industry-adopted and commercial FM design, analysis, and verification methods, via use of the commercial-off-the-shelf TEAMSreg; tool. Connecting component failure modes to their failure functions, functional failure propagation and their manifestations in various effects are suitably poised to drive a complex sequence of state transitions as modelednbsp;in SAM for various subsystems and subsystems and allows for a significantly improved coverage (e.g., through a rich set of what-if failure scenarios) for the off-nominal behavioral models as captured in SAM by incorporating the functional failure models such as in TEAMSreg; as their driver. Doing this combines the best qualities of each model and itsnbsp;associated analytical and operational capabilities to take advantages of what each tool and methodology does best. In essence, the State Machine Model and TEAMSreg; models will provide single sources of truth for modeling and analysis.