xSAP is a tool for safety assessment of synchronous finite-state and infinite-state systems. It is based on symbolic model checking techniques. xSAP supersedes FSAP

xSAP provides the following main capabilities:

  • Library-based specification of faults, fault effects, and fault dynamics
  • Automatic model-extension with fault specifications
  • Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS) for dynamic systems, for both the monotonic and non-monotonic case
  • Failure Modes and Effects Analysis (FMEA)
  • Mode Transition Cut Sets analysis (MTCS)
  • Common Cause Analysis (CCA)
  • Fault propagation analysis based on Timed Failure Propagation Graphs (TFPG)
  • Fault Detection and Isolation (FDI)

See Features for the complete list of features.

xSAP is Copyright by Fondazione Bruno Kessler 2015; it can be used only for non-commercial or academic purposes.

The list of xSAP users is open for registration and discussion


Page last modified on June 28, 2021, at 11:25 AM