Getting Started

This is the README file of the FSAP/NuSMV-SA package, a tool that integrates safety analysis and model checking techniques.

FSAP/NuSMV-SA is developed at FBK and it is composed of the following two packages:

Both packages are included in the distribution.


Quick Start
Current Version and What's New
Common Problems and Solutions
Getting in touch with us

Quick Start

FSAP is currently distributed as a self-installing file for Windows (FSAP-setup.exe) or as a single ZIP file for Red Hat Linux (



The tool has been successfully tested on Windows XP. It should also work on Windows NT and Windows 2000 although it has not been tested thoroughly on either platform.

The software requires m4 (for macro-processing) and Expat ( for XML parsing), which are included in the distribution (for now). FSAP is no longer dependent on Cygwin.

The counterexample plotting function requires Gnuplot (freely available from:

Running FSAP on Windows



The tool has been successfully tested on Red Hat Linux (Desktop version 4, 9.0, or 7.0 depending on the version of the FSAP tool; for more information check the download page). The software should also run without any problem on other Unix flavors (e.g. Linux, BSD, Solaris).

FSAP requires Expat for XML parsing. You can find links to download from this page.

If you want to run FSAP/NuSMV-SA on a different flavor of Unix, please get in touch with us, and we will make the binaries available for download.

Running FSAP on *nix

  1. If Expat is not already installed, go to and download and install the newest version of Expat.

  2. Unzip the distribution file ( into a suitable directory (for instance: ${HOME}).

  3. Run FSAP from the shell by typing

  4. If necessary, change the default text editor, spreadsheet, and link to Gnuplot, from the user preference menu (Edit, Preferences).

Current Version and What's New

The version number of the application is available from the about box (Help -> About).

To see "What's New" about FSAP tool, just refer to the "Release Notes", available from the application (Help, Release Notes).

Structure of the Distribution Package

The distribution package contains the following files:


This file.


Script for launching FSAP.

uninst.exe Uninstaller (for Windows only)


Directory containing various files used by the platform when performing analyses.


Directory containing the various binaries of the platform.


Directory with the documentation (in HTML format)


Directory containing the Generic Failure Mode Library


Directory containing the Generic Safety Pattern Library


Various icons needed by the application.


Stylesheets and DTD for viewing and validating XML formats used by the application.

Common Problems and Solutions

Unable to run some of the applications from FSAP

If you are unable to launch some of the accessory applications (e.g. fault tree displayer) from FSAP, please check that:

FSAP will not start and there is a warning about Expat

If you receive a message similar to:

Warning when there is no libexpat.dll

then the Expat library is not installed or has not been added to the PATH environment variable.

You need to:

Some of the files generated by FSAP are difficult to read

If have difficulties reading some of the files generated by the FSAP platform on the Windows version, please note that some of the files generated by FSAP may follow the Unix convention for line termination. This may cause certain text editors (e.g. notepad) to display the files in a difficult-to-read way.



The FSAP/NuSMV-SA package is based on the NuSMV2 model checker, available from

The FSAP/NuSMV-SA package itself is the result of the effort of various people, among which we would like to mention: Marco Bozzano, Alessandro Cimatti, Adolfo Villafiorita, and Gabriele Zacco.

The FSAP package has been developed using the following freely available libraries and tools:

Getting in touch with us

If you wish to signal a bug, request an improvement, or simply comment on the FSAP/NuSMV-SA package, please get in touch with us at fsap*remove_this*


Last Update: $Date: 2008/02/14 14:43:47 $