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
------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
