[ecoop-info] xSAP 1.0.0 has been released

[Marco Bozzano]

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 at fbk.eu

The list of xSAP users is open for registration and discussion

          xsap-users at 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