These are the release notes of FSAP/NuSMV-SA 0.9.5-1.
What's New
Main Features
Known Bugs
Requirements
Installation
Old Release Notes
This release delivers an improved version of the Fault Tree Displayer and implements various usability and performance enhancement to both FSAP and NuSMV-SA. Version 0.9.5-1 has been used to analyse the Hydraulic Boolean System.
The major improvements with respect to the previous release are:
FSAP
Fault Tree Displayer (FTD): the Fault Tree Displayer
has been improved and re-engineered.
Major changes:
Gates. FTD now supports "NULL" and "PAGE" gates.
Sub-trees: FTD now provides a navigation tab for sub-trees.
Graphical Layout:
the graphical layout of the "Name" and "Description" fields in fault trees now conforms to the Isograph FT+ format.
the engine for displaying strings has been re-engineered: it now allows for a more readable and more precise layout of information.
Better support for the FaultTree+ tabular format: the module to load and save fault trees in the Isograph FT+ exchange format has been re-designed. The result is a better support for the FT+ tabular format (both v10.0 and v9.0) and more robust loading. (See, however, "Known Bugs" for a list of the limitations that will be addressed in the next releases.)
SAT portability: the folder containing the SAT, and possibly its subfolders containing the results of the analyses, can be moved across the filesystem without preventing the usability of the SAT. In fact, the pathnames of the files mentioned within a SAT (i.e. SM, ESM, directory for results of an AT, input file for ordering analysis) are stored after making them relative to the location of the SAT itself.
FSAP now handles longer descriptions and formulas in Safety Requirements and Failure Modes (up to 4096 characters). [Names of SRs and FMs are limited to 1024 characters.]
Miscellanea
Default model for ATs: the ESM (Extended System Model) is the default model that is checked when creating the dialogs for "Check Property" and "Simul" Analysis Tasks.
Results Directory for ATs: better default choice of the directory where results of analyses are stored, if the user does not specify any. On Windows platforms a generic directory for results (namely, "fsap_results") is created inside the folder containing the SAT and for each analysis a directory ("fsap_XXXXXX") is created inside "fsap_results".
Bug fix: FSAP should now deal better with
directories with spaces.
NuSMV-SA
Fault Tree Computation: the algorithms for computing fault trees has been improved. Now users should experience faster computation times and richer reporting (e.g. statistics and empty cut sets – empty cut sets appear when the nominal model does not satisfy the top level event).
Fault Tree Format:
Fault Tree Pagination. NuSMV-SA automatically paginates big fault trees.
XML Format: NuSMV-SA can now generate fault trees in the XML format.
Compatibility: The tabular format of NuSMV-SA should now be compatible both with v.10.0 and v.9.0 of FaultTree+.
LTL property checking: it is now possible to express safety requirements using Linear Temporal Logic.
Command line options: is is now possible to specify from the Analysis Task Dialog the command line options to invoke NuSMV-SA. (This allows, for instance, to invoke reordering of variables, to change the default verbosity level, etc.).
The format supported by FTD is not yet fully compliant with the Isograph FaultTree+ tabular format.
Even though such limitation does not affect the FSAP/NuSMV-SA platform (since the Fault Trees produced by NuSMV-SA are fully compatible with the FSAP Fault Tree Displayer and with Isograph FT+), certain limitations apply if you intend to use the FSAP Fault Tree Displayer for displaying fault trees produced by Isograph Fault Tree+ or by other ESACS implementations.
In particular the Fault Tree Displayer:
does not support loading of "forests" of fault trees (multiple fault trees stored in a single pair of "events.txt" and "gates.txt").
ignores various fields of the FT+ tabular format: fields such as probability, font, etc, are not displayed nor saved by FTD.
expects the gates.txt file to present the fault tree in a top-down fashion (TLE first; gates closer to the TLE must appear first in the file).
The main features of the FSAP/NuSMV-SA platform are:
FSAP
Support for SAT XML format
Full support to GFML (Generic Failure Mode Library): failure modes can be defined in the GFML, used from FSAP, and automatically injected into the model.
Analysis task manager
Automatic model extension.
Possibility of defining custom failures directly into the system model.
Highlighting of changes: parts of the SAT that are changed appear in red.
Quick search of Safety Requirements and Failure Modes.
Integration with NuSMV-SA.
Result Displayer, for accessing in an integrated way all the results of the analyses.
Fault Tree Displayer, that reads files in Fault Tree Plus tabular format.
Viewer of traces in tabular and graphical form (through
GnuPlot).
NuSMV-SA
Monotonic and non-monotonic fault tree construction
Generation of traces for each minimal cut set of a fault tree
Ordering analysis on minimal cut sets
Construction of fault trees, generation of traces, ordering analysis, simulation, and verification of properties are integrated with FSAP.
All NuSMV2 commands available from textual interface
This section is taken from the ReadMe.txt file available with the
distribution of FSAP/NuSMV-SA.
FSAP/NuSMV-SA is cross-platform
and pre-compiled binaries are available for the following platforms:
Win32: MS Windows NT, MS Windows 2000, MS Windows XP
Lin: Linux RedHat 7.0.
In order to correctly run FSAP/NuSMV-SA on Windows, the following tools are needed:
Cygwin (cygwin1.dll, c preprocessor, and tcl/tk)
Gnuplot for Windows (for graphing counter examples).
Windows Platforms. Installation procedure on Windows platform uses the standard approach.
Download the relevant FSAP-Setup.exe file from the Download page.
Double click on FSAP-Setup.exe and follow the instructions.
(The procedure assumes the required tools to be already installed on the system.)
Unix Platforms. The only *nix platform for which we provide pre-compiled binaries is Red Hat Linux. Compiled versions for other *nix like systems are available on demand.
Download the relevant .zip file from the Download page.
Unzip the package in a directory of your choice.
Click here to see the release notes of all the previous versions of the FSAP/NuSMV-SA platform.
Last Update: $Date: 2008/02/06 13:02:13 $