The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy is happy to announce the availability of
xSAP 1.0.0
xSAP is a tool for safety assessment of synchronous finite-state and infinite-state systems, 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)
* Fault propagation analysis based on Timed Failure Propagation Graphs (TFPG)
* Common Cause Analysis (CCA)
xSAP is currently licensed in binary form, for non-commercial or academic purposes.
Inquiries about other usages of xSAP should be addressed to
xsap@fbk.eu
The list of xSAP users is open for registration and discussion
xsap-users@list.fbk.eu
Visit http://xsap.fbk.eu/ for more detailed information and download.
Other useful links:
* Feature requests and bug reports: http://es.fbk.eu/tools/xsap/index.php?n=BugReport.Home