This is version 1 of xSAP, the eXtended Safety Analysis Platform.

----------------------------------------------------------------------------------

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)
+ Fault propagation analysis based on Timed Failure Propagation
  Graphs (TFPG)
+ Diagnosability Analysis, Fault Detection and Identification Analysis (FDI)
+ Common Cause Analysis (CCA)

You can find further details on xSAP in the paper:

  M. Bozzano, A. Cimatti, M. Gario, D. Jones and C. Mattarei (2021)
  Model-based Safety Assessment of a Triple Modular Generator with
  xSAP. In Formal Aspects of Computing, 33(2):251-295.

xSAP is Copyright by Fondazione Bruno Kessler; it can be used
only for non-commercial or academic purposes. See LICENSE.txt for
complete licensing information.

The list of xSAP users is open for registration and discussion

          xsap-users@fbk.eu

Visit https://xsap.fbk.eu/ for more detailed information and download.

For installation instructions and installation prerequisites, see the
xSAP user manual, located in the doc/user/ folder of the xSAP distribution.

For feature requests, bug reports and FAQs, see the xSAP web site:
https://xsap.fbk.eu.
