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 _______________________________________________ Compass-announce mailing list Compass-announce@lists.rwth-aachen.de http://mailman.rwth-aachen.de/mailman/listinfo/compass-announce