Features

The following is an incomplete list of the provided features:

• Library-based specification of faults

  • Injection of faults retrieved from a fault library
  • Local effects library
  • Global dynamics library

• Automatic model-extension with fault specifications

  • Injection of library-based fault definitions into nominal model
  • Automatic generation of resulting extended model

• Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS) for dynamic systems

  • BDD-based algorithms
  • SAT-based algoritmhs
  • SAT+BDD-based algorithms
  • SMT-based algorithms
  • Monotonic and non-monotonic FTA

• Failure Modes and Effects Analysis (FMEA)

  • BDD-based algorithms
  • SMT-based algorithms

• Mode Transition Cut Sets analysis (MTCS)

• Common Cause Analysis (CCA)

  • Definition of Common Causes
  • Fault Tree Analysis with Common Causes

• Fault propagation analysis based on Timed Failure Propagation Graphs (TFPG)

  • TFPG association with extended model
  • TFPG behavioral validation
  • TFPG synthesis
  • TFPG tightening
  • TFPG possibility, necessity, consistency and activability
  • TFPG refinement
  • TFPG diagnosis
  • TFPG Filtering

• Fault Detection and Isolation (FDI)

  • Diagnosability Analysis
  • Generation of minimum observables set
  • Synthesis of diagnoser