Fault Recovery Instruction Generation using Automata Derived from Traditional Engineering Models (FRIGATE)

FRIGATE (Failure Recovery Instruction Generation using Automata derived from Traditional Engineering models) is a Fault Management Design Tool that will generate failure recovery plans for a traditional engineering model and map them into the original modeling environment.nbsp; FRIGATE uses a formal methods analysis approach that aids engineers in discovering failure recovery plans that may be difficult to evaluate using traditional simulation or testing approaches. FRIGATE builds on Adventium#39;s existing commercial tools for enabling formal methods analysis by non-expert users. The basis of confidence is due to an initial experiment conducted using NASArsquo;s Virtual ADAPT Simulink model. Phase I will address key feasibility goals of scalability, controlling the analysis, and mapping failure recovery plans back into the original modeling environment. FRIGATE will be deployed as part of Adventium#39;s Curated Access to Model-based Engineering Tools (CAMET) Library, an existing collection of model-based systems engineering (MBSE) tools in use today. FRIGATE will improve the capacity to generate failure recovery plans without requiring manual creation of new models by taking advantage of prior modeling efforts.