O software apresentado modela o comportamento de falhas de um sistema por meio da definição modular. A definição do módulo contém uma parte declarada (entradas, saídas e variáveis do módulo) e uma parte comportamental (modelo lógico). O sistema é definido como um diagrama de bloco dos componentes do módulo e suas interconexões. O FMEA é produzido por meio da simulação do processo de propagação das falhas.