Skip Navigation
Small Business Innovation Research/Small Business Tech Transfer

Architecture Framework for Fault Management Assessment and Design (AFFMAD), Phase I

Completed Technology Project
401 views

Project Description

Architecture Framework for Fault Management Assessment And Design (AFFMAD) Project Image
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

Project Library

Primary U.S. Work Locations and Key Partners

Technology Transitions

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.
^