Small Business Innovation Research/Small Business Tech Transfer
Architecture Framework for Fault Management Assessment and Design (AFFMAD)
Project 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.
More »
Anticipated 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. More »
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. More »
Project Library
Primary U.S. Work Locations and Key Partners
| Organizations Performing Work | Role | Type | Location |
|---|---|---|---|
| Galois, Inc. | Lead Organization | Industry | Portland, Oregon |
Marshall Space Flight Center
(MSFC)
|
Supporting Organization | NASA Center | Huntsville, Alabama |
Primary U.S. Work Locations
-
Alabama
-
Minnesota
-
Oregon
Suggest an Edit
Recommend changes and additions to this project record.