"IGF::OT::IGF" THE ARCHITECTURE FRAMEWORK FOR FAULT MANAGEMENT ASSESSMENT AND DESIGN (AFFMAD) IS A CONSTRAI…
Award details are derived from public USAspending.gov records. Not a bid recommendation.
Award details
- Award ID
- NNX14CM18P
- Contractor
- Awarding agency
- National Aeronautics and Space Administration
- Sub-agency / office
- National Aeronautics and Space Administration
- Award amount
- $0
- Period of performance
- Jun 20, 2014 – Dec 19, 2014
- NAICS
- 541712 — Research and Development in the Physical, Engineering, and Life Sciences
- PSC
- PSC AR11
- Place of performance
- MN
Public award description
"IGF::OT::IGF" 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.
Find out who's winning similar federal contracts
Discover comparable awards, related contractors, and agency purchasing history.