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

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)