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
  • 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
  • Fault Detection and Isolation (FDI)
    • Diagnosability Analysis
    • Generation of minimum observables set
    • Synthesis of diagnoser


Page last modified on September 21, 2016, at 03:17 PM