NASA SBIR 2020-II Solicitation

Proposal Summary

Proposal Information

Proposal Number:
20-2- S5.05-4643
Phase 1 Contract #:
80NSSC20C0629
Subtopic Title:
Fault Management Technologies
Proposal Title:
Fault Recovery Instruction Generation using Automata Derived from Traditional Engineering Models (FRIGATE)

Small Business Concern

   
Firm:
          
Adventium Enterprises, LLC
          
   
Address:
          
111 Third Avenue South, Suite 100, Minneapolis, MN 55401
          
   
Phone:
          
(612) 280-9843                                                                                                                                                                                
          

Principal Investigator:

   
Name:
          
Tyler Smith
          
   
E-mail:
          
tyler.smith@adventiumlabs.com
          
   
Address:
          
111 Third Avenue South, Suite 100, MN 55401 - 2551
          
   
Phone:
          
(612) 414-8046                                                                                                                                                                                
          

Business Official:

   
Name:
          
Kyle Nelson
          
   
E-mail:
          
kyle.nelson@adventiumlabs.com
          
   
Address:
          
111 Third Avenue South, Suite 100, MN 55401 - 2551
          
   
Phone:
          
(612) 280-9843                                                                                                                                                                                
          

Summary Details:

   
Estimated Technology Readiness Level (TRL) :                                                                                                                                                          
Begin: 3
End: 5
          
          
     
Technical Abstract (Limit 2000 characters, approximately 200 words):

FRIGATE (Failure Recovery Instruction Generation using Automata derived from Traditional Engineering models) is a Fault Management Design Tool that validates, updates, and generates failure recovery plans and translates them back into the source model format for verification.  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's existing commercial tools for enabling formal methods analysis by non-expert users. Our confidence is based on the results of the Phase I project, using Virtual ADAPT (a NASA Simulink project) as a reference input model. In phase II we will improve scalability and enable use of FRIGATE as part of a Continuous Integration (CI) workflow. FRIGATE will reduce the cost and effort of failure recovery plan maintenance for NASA systems with evolving configurations. FRIGATE will reduce the risk of failure recovery plans becoming out of sync with system configuration, which reduces the likelihood of costly rework or mishap. FRIGATE will be deployed as part of Adventium's Curated Access to Model-based Engineering Tools (CAMET) Library, an existing collection of model-based systems engineering (MBSE) tools in use today.

          
          
     
Potential NASA Applications (Limit 1500 characters, approximately 150 words):

The NASA markets are those that use models as part of the development and operations to analyze behavior, e.g., by simulation, and those that have configurations that evolve over time.  NASA programs that would benefit from FRIGATE include the Space Launch System, Gateway, Habitats Optimized for Missions of Exploration (HOME), or Volatiles Investigating Polar Exploration Rover (VIPER), and other next generation developments.

          
          
     
Potential Non-NASA Applications (Limit 1500 characters, approximately 150 words):

The non-NASA markets are those with systems that are analogous to those in the NASA market, examples include Department of Defense, aerospace, automotive, and industrial markets. In addition, analogous international markets are also available.

          
          
     
Duration:     24
          
          

Form Generated on 05/13/2021 14:44:21