[Om-announce] xSAP 1.2.0 has been released

Wed Sep 21 16:08:19 CEST 2016

The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy
is happy to announce the availability of

            xSAP 1.2.0

Visit http://xsap.fbk.eu for more detailed information and download.

This is a major release, containing new features.

----------------------------------------------------------------------
* New features
----------------------------------------------------------------------

 o Diagnosability analysis

   - Diagnosability analysis has been updated. Now it supports
     specification of an LTL diagnosis condition, alarm specification
     language (ASL) for exact delay, bounded delay and finite delay
     patterns, and an LTL diagnosis context. A script has been added
     to access this functionality.

 o Generation of minimum observables set

   - Generation of minimum observables set has been updated to match
     the updates in diagnosability analysis. A script has been added
     to access this functionality.

 o Diagnoser Synthesis

   - Added support for Context specificaiton and Fairness in the
     synthesis algorithms.

   - Top-level commands for synthesis have been simplified and a new
     script (synthesise_fd.py) has been added.

 o Antlr 3.4

   - xSAP now fully supports a more recent (3.4) version of antlr

----------------------------------------------------------------------
*  Bug fixes
----------------------------------------------------------------------

* Various minor bugs have been fixed

----------------------------------------------------------------------
*  Known issues
----------------------------------------------------------------------

* Under Windows OS, export of a Fault Tree from the FT Viewer (both
  image and pdf formats) produces a blank image/corrupted pdf. Issue
  will be investigated for the next release

----------------------------------------------------------------------
* Superseded Commands
----------------------------------------------------------------------

The following commands have been removed:

 - synth_set_composition_semantics: replaced by the environment
   variable synth_asynchronous_composition_semantics;

 - synth_edit_observables has been replaced by the option -o
   in synth_FD;

 - synth_edit_alarms_spec has been replaced by the option -f
   in synth_FD.

 - compute_optimal_observables has been replaced by
   diag_optimize_observables_asl

========
OVERVIEW
========

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)

* Common Cause Analysis (CCA)

* Fault propagation analysis based on Timed Failure Propagation Graphs
  (TFPG)

* Fault Detection and Isolation (FDI)

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

Visit http://xsap.fbk.eu for more detailed information and download.