What's New

The major improvements carried out on the FSAP/NuSMV-SA platform since version 0.9.1 are listed below:

FSAP
- Monotonic/non-monotonic property is now associated to the SAT. The monotonicity field can now be chosen from the main window, rather than from the analyses dialogs.
- Highlighting of changed fields is now less intrusive: a modified field in the SAT is shown by setting its label to red.
- The probability attribute for safety requirements has been removed from internal (XML) SAT representation.
- New About box.
- Problems related to updating of tooltips have been removed. This fixes also the crash on Open SAT->Close SAT->Generate ESM.
- Problems related to selecting "no_failure" and choosing "OK" in the failure mode dialog have been removed.
- Documentation is now available also from the web site (http://es.itc.it/tools/FSAP).
- Result Displayer could not visualize the execution trace with because of problems with pathnames management inherent to version 2000 of the Microsoft spreadsheet. A patch has been devised to cope with such problems, which have been seemingly fixed by version 2002.
NuSMV-SA
- Names assigned to traces generated during analysis are now more intuitive.
- Names assigned to traces of safety requirements whose names contain spaces are now generated using underscores.

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

Known Bugs

Dialog shown by FSAP in response to the verification of a true property is wrongly shown as "Unsuccessful execution". Analyses and results (available through the result displayer) are, however, correct (Fix for this bug available in release 0.9.3).
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.3).

Requirements

This section is taken from the ReadMe.txt file available with the distribution of FSAP/NuSMV-SA. Please refer to that file for further instruction on how to install 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, awk, and tcl/tk)
Gnuplot for Windows (only if interested in graphing counter examples).

Installation

Install, if necessary, any required package.
Download the relevant .zip file from the Download page.
Unzip the package in a directory of your choice.
Edit the file FSAP.bat (FSAP.sh on linux boxes), by modifying the value of the variables that point to the Cygwin bin directory, Excel path, ...
Double click (or run from the shell) FSAP.bat (FSAP.sh on linux boxes)

Release Notes of older Versions

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