FSAP/NuSMV-SA 0.9.3 Release Notes
These are the release notes of FSAP/NuSMV-SA 0.9.3.
Old Release Notes
This is mainly a maintenance release, with focus on user interaction. The major improvements with respect to the previous release are:
New installation procedure on Windows platform, based on the standard "install" program. Just double click on the "FSAP-Setup.exe"; and follow the instructions.
Preferences: it is now possible to control some features and the external applications (both pathname and executable name) using the "Preference" dialog, available under the "Edit" menu.
Better interaction with NuSMV model checker: the interaction mechanism between FSAP and NuSMV-SA has been completely re-designed. The new implementation allows a better interaction between the two components. Among the user-visible features:
Result displayer can generate tables either by columns or (new) by rows. This feature addresses a limitation of Excel, that does not allow more than 256 columns. Generation of tables by row allows to view counterexamples that are more than 256 steps long.
Fixed a bug appeared in version 0.9.2 and related to the storage of parameters of failure modes into the SAT.
Removed dependency from awk. The system still depends on a C preprocessor (for model extension), on Tcl/Tk and Gnuplot (if you wish to access the plotting features of the platform), and on the standard Cygwin libraries (upon which NuSMV depends).
Fault Tree Displayer expects only correct fault trees (e.g. fault trees generated by NuSMV-SA) as input: fault trees with dangling references (e.g. non-defined references to events or gates) may cause the displayer to crash (Fix for this bug available in release 0.9.4).
The main features of the FSAP/NuSMV-SA platform are:
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.
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 for Windows).
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 NuSMV 2 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.)
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 $