ADVENTIUM ENTERPRISES, LLC — National Aeronautics and Space Administration SBIR Phase I: S5.05
ADVENTIUM ENTERPRISES, LLC — SBIR Phase I award from National Aeronautics and Space Administration.
- Amount
- $124,903
- Agency
- National Aeronautics and Space Administration
- Program / Phase
- SBIR · Phase I
- Topic
- S5.05
- NAICS
- —
- Place of performance
- MN
- Period
- 2014-06-20 → 2014-12-19
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.