******************** xSAP 1.5.0 (2023/10/04)  ********************

This is a major release containing new features.

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

* The code has been ported to python3 and tested on Ubuntu 22.04 and
  Windows 10 systems.

* Viewers have been fully re-implemented using PySide2; they are now
  distributed in a separated folder in the xSAP distribution.

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

* Under Windows OS, export of a Fault Tree from the FT Viewer has been
  fixed

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


******************** xSAP 1.4.0 (2021/06/25)  ********************

This is a major release containing new features.

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

* Function compute_mode_transition_cut_sets has been added.  It
  performs Mode transition cut sets (MTCS) analysis, as described in
  the paper:

  M. Bozzano, P. Munk, M. Schweizer, S. Tonetta, and
  V. Vozarova. Model-Based Safety Analysis of Mode Transitions. Proc.
  SafeComp, 2020.

* A variant of the TMG example has been added, with features to test
  the MTCS functionality.

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

----------------------------------------------------------------------
*  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


******************** xSAP 1.3.0 (2019/10/02)  ********************

This is a major release containing new features.

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

* Function compute_fault_tree_param has a new option -k. It implements
  a new algorithm that uses bounded model checking to collect the
  minimal cut sets up to a given depth, and then uses IC3 to close the
  induction

* The set of examples has been revised and extended. The
  triple_modular_generator example has been updated and extended; the
  user manual has been updated to reflect the changes in the
  model. New parametric examples based on the triple_modular_generator
  are provided. A new example fe/battery_sensor_fdir, containing fault
  modes for real variables, has been added

* Functions compute_fmea_table, compute_fmea_table_bmc_inc and
  compute_fmea_table_msat_bmc now support option -P (they can take
  property names as input).

* Functions compute_fmea_table, compute_fmea_table_bmc_inc and
  compute_fmea_table_msat_bmc now support LTLSPEC that can be
  converted to INVARSPEC

* Starting from version 1.3.0, xSAP is released for Win64 and Linux64
  platforms only

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

* Some 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


******************** xSAP 1.2.1 (2017/08/22)  ********************

This is a new release, containing some bug fixes and new features

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

* Fault Tree Viewer now supports also xml input format
* New functionality: TFPG filtering
* xSAP now supports also Windows 32-bit architecture
  All core tests have been successfully tested on a Windows 32-bit machine
* Added description of manual fault extension flow in Chapter 3 of the
  user manual
* Added an example illustrating dynamic FTA and FMEA

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

* Fixed an issue in generation of explanation traces in command
  compute_fault_tree_param

* Fixed an issue when invoking command compute_fault_tree_param
  with infinite-state models

* Fixed an issue in script synthesize_fd.py

* Fixed an issue involving the proper use of `sscanf` function

* Fixed a bug in the management of events in the definition of global
  dynamics (fault extension flow)

----------------------------------------------------------------------
*  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


******************** xSAP 1.2.0 (2016/09/21) ********************

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


********************** xSAP 1.1.0 (2016/03/31) ***********************

This is a major release, containing new features, and a few bug fixes.
The documentation has been updated to cover the new features.

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

 o Fault library

   - The library has been extended with new fault modes: random,
     erroneous, delta-in and delta-out

 o Fault Tree Analysis

   - Probability computation using 'anytime' feature has been improved

   - FT viewer export functionality has been improved

 o FMEA analysis

   - Output of FMEA table in XML format has been added

 o TFPG analyses

   - New analyses are available: tightening and tightness checking

   - Synthesis of TFPGs has been improved

o Examples

   - Some new examples have been added to the distribution


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

* The check_installation script and list of installation requirements
  have been revised

* 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


********************** xSAP 1.0.0 (2015/02/06) ***********************

This is the first major release of xSAP, the eXtended Safety Assessment
Platfor. It is  a tool for safety assessment of synchronous finite-state
and infinite-state systems, based on symbolic model checking techniques.

xSAP supersedes FSAP (http://fsap.fbk.eu/), the Formal Safety Analysis
Platform. For details about license see xSAP s web page
(https://xsap.fbk.eu/).

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

xSAP provides the following main capabilities:

 o Library-based specification of faults, fault effects, and fault
   dynamics

 o Automatic model-extension with fault specifications

 o Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS)
   for dynamic systems, for both the monotonic and non-monotic case

 o Failure Modes and Effect Analysis (FMEA)

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

 o Common Cause Analysis (CCA)

See xSAP web page (https://xsap.fbk.eu/) for the
complete list of features.

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

----------------------------------------------------------------------
*  Documentation
----------------------------------------------------------------------

Programmers' manual is generated with doxygen (http://www.doxygen.org).
For this reason documentation of all functions has been moved to the
place of declaration (i.e. the header files).

----------------------------------------------------------------------
* Source Code
----------------------------------------------------------------------

xSAP source code is not publicly distributed.
