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
[email protected]
The list of xSAP users is open for registration and discussion
[email protected]
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
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
