← Back to NASA Technology Projects

Architecture Framework for Fault Management Assessment and Design (AFFMAD)

Completed TRL 3 (started at 2, targeting 3)

Description

The Architecture Framework for Fault Management Assessment And Design (AFFMAD) is a constraint-checking system for FM trade space exploration that provides rigorous performance guarantees for FM strategies for complex cyber-physical systems. AFFMAD will aid FM engineers in the early evaluation of FM strategies and improve the efficiency of implementing and testing those strategies. Using existing multi-mode cyber-physical reasoning systems, recent advances in Satisfiability Modulo Theory (SMT) solvers, hierarchical scheduling theory, and system-level modeling frameworks, AFFMAD will assist users in identifying FM conflicts and inconsistencies in FM approaches and mission requirements as they are developed.

Benefits

The initial target application for this work is to support NASA missions that involve Autonomous Rendezvous and Docking (ARD), and specifically the systems engineers who design the FM aspects of the system. However AFFMAD is a FM design tool, and as such, it can be adapted to address any whole system (aircraft, spacecraft, or surface exploration vehicle) or sub-system thereof.

FM is a key strategy used by many industries to increase system dependability, and FM failures are concerns for any organization designing or building life- or mission-critical systems. In addition to NASA, potential government customers include the Army, Air Force, Navy, and Department of Energy. Likely customers from the commercial sector include those in the aviation, process control and medical device industries.

Details

Technology areaSoftware, Modeling, Simulation, and Information Processing > Software Development, Engineering, and Integrity > Frameworks, Languages, Tools, and Standards
ProgramSmall Business Innovation Research/Small Business Tech Transfer (SBIR/STTR)
Lead organizationGalois, Inc., Portland, OR
Start date2014-06-20
End date2014-12-19

Project contacts

Listed on TechPort itself — the most direct way to ask about this specific project.

How to get involved

This is early/mid-stage (TRL 3) — the most realistic path in is NASA SBIR/STTR, which funds small businesses and research institutions to develop technology aligned with NASA's needs (equity-free, phased funding). Check whether a current SBIR/STTR solicitation topic overlaps with this project's technology area, or contact the project directly (above) to ask.

None of these are guaranteed paths for this specific project — TechPort itself doesn't have an "apply" button. Reaching out to the contact(s) above with a specific question is usually the fastest way to find out what's actually open.