Skip Navigation
SBIR/STTR

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

Completed Technology Project

Project Introduction

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

Primary U.S. Work Locations and Key Partners

Share this Project

Organizational Responsibility

Project Management

Project Duration

Technology Maturity (TRL)

Technology Areas

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.
^