Home

FACT project supports research and development in model based diagnosis using Timed Failure Propagation Graphs (TFPG).

The FACT toolsuite includes support for 

  1. Modeling of discrete diagnosis models using TFPG.  
  2. Diagnosis with centralized and distributed TFPG diagnosis engines. 
  3. Integration with data/ event sources including simulation environments such as Matlab/ Simulink

An overview of the FACT project may be found here.

This website provides a site for

  1. distribution of binaries related to the FACT toolsuite(installers and patches).
  2. bug reporting and issue tracking.