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