What's New

This is mainly a maintenance release, with focus on user interaction. The major improvements with respect to the previous release are:

General
- New installation procedure on Windows platform, based on the standard "install" program. Just double click on the "FSAP-Setup.exe"; and follow the instructions.

FSAP
- 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:
  - Fixed bug of FSAP's that wrongly showed "Unsuccessful execution" when (correctly) performing certain analyses.
  - It is now possible to have NuSMV-SA quit automatically (no need to type "quit"; from the NuSMV-SA shell). Use the preference module to control this behavior.
  - NuSMV-SA provides messages directly to the console in which it is invoked. This simplifies, for people wishing to do so, interaction with NuSMV-SA in textual mode directly from the shell.
- 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).
NuSMV-SA
- NuSMV-SA has been updated to version 2.1.1 of NuSMV.

Known Bugs

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

Main Features

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.
- 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).
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 NuSMV 2 commands available from textual interface

Requirements

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

Installation

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.

Download the relevant .zip file from the Download page.
Unzip the package in a directory of your choice.

Release Notes of older Versions

Click here to see the release notes of all the previous versions of the FSAP/NuSMV-SA platform.