Skip Navigation
Small Business Innovation Research/Small Business Tech Transfer

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 »

Primary U.S. Work Locations and Key Partners

Technology Transitions

Share this Project

Organizational Responsibility

Project Management

Project Duration

Technology Maturity (TRL)

Technology Areas

Target Destinations

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.
^