FSAP/NuSMV-SA 1.2.4 Release Notes

These are the release notes of FSAP/NuSMV-SA 1.2.4.

Contents

What's New
Main Features
Known Bugs
Requirements
Installation
Old Release Notes

What's New

This release of the FSAP platform has several improvements. Hereafter there is the list of these improvements:

• FSAP

  • The optimizations 'layering' and 'dynamic COI' have been added for monotonic BDD analysis.

  • Introduction of the Fault Coverage Index: the percentage of failure instances detected by a message or message class (not including those failures marked "Not Scored for BIT").

  • Introduction of the Fault Isolation Index.

  • Improved results displayer window with a pane summarizing the execution of the analysis task. This summary file and the NuSMV output are also stored in the results directory.

  • Added SVG export from Fault Tree Displayer (note: the exported SVG file is best viewed with Adobe's SVG Viewer plugin in Internet Explorer).

• Bug Fixes

  • Fixed problem in Plotter due to missing PROBABILITY variable.

  • If the ID in an analysis task does not match that of a SR/Message/MessageClass, then the analysis task is now ignored. This avoids a crash when opening corrupted SAT XML files.

Known Bugs

• The probability computed by FT+ may differ with respect to the one computed by NuSMV-SA, given that FT+ does not know that some of the events may not be independent, e.g. "valve1 stuck_at_0", "valve1 stuck_at_1" and "valve1 no_failure".
• Changes to Failure Modes are not reflected in failure mode instances defined in failure sets, messages, or in safety requirements.
• Data dictionary might still crash with very huge strings (larger than 7 KB).
• FSAP calls only 'ftd' or 'NuSMV-SA' commands, which can lead to calling these executables defined elsewhere in the PATH environment variable.
• The management of the default variables in the plotter does not work correctly when opening a result directory generated from a model other than the current one.

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.

  • Full support to GSRL (Generic Safety Requirements Library): safety patterns can be defined in the GSRL, used from FSAP, and loaded at the user request.

  • Analysis task manager

  • Automatic model extension.

  • Possibility of defining custom failures directly into the system model.

  • Possibility of defining or importing custom failure sets, comprising several failure modes, and including them directly into the system model.

  • Possibility of defining messages for fault isolation or fault detection analysis.

  • Possibility of grouping messages into message classes for fault isolation or fault detection analysis.

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

  • Data Dictionary
     

• NuSMV-SA

  • Monotonic and non-monotonic fault tree construction

  • Generation of traces for each minimal cut set of a fault tree

  • Possibility of choosing different model checker engine: either BDD or SAT-based model checker

  • Ordering analysis on minimal cut sets

  • Implementation of Failure Mode and Effect Analysis (FMEA) producing tab-delimited text output

  • Construction of fault trees, generation of traces, ordering analysis, simulation, and verification of properties are integrated with FSAP

  • Calculation of the probability for a Top Level Event of a Fault Tree given the probability of the basic events.

  • All NuSMV2 commands available from textual interface

Requirements

• Win32: MS Windows XP

• Linux: Red Hat Desktop 4.

In order to correctly run FSAP/NuSMV-SA, the following tools/libraries are used: m4 and Expat are included in the distribution (in the case of Windows, for Linux they should be installed already - m4 at least) but Gnuplot must be downloaded separately:

• m4 (this tool should already be available under Linux and distributed with FSAP for Windows. You can find m4 for Windows at http://gnuwin32.sourceforge.net/packages/m4.htm)
  The GNU `m4' is covered by the GNU GPL. A copy of the license is included with FSAP or can be found at http://www.gnu.org/licenses/gpl.html. A copy of the source files for this version of `m4' can be found at http://gnuwin32.sourceforge.net/downlinks/m4-src.php

• Expat (a copy of the license is also included with FSAP)

• Gnuplot (for graphing counter examples).

Installation

Windows Platforms. Installation procedure on Windows platform uses the standard approach.

1. Download the relevant FSAP-Setup.exe file from the Download page.

2. Double click on FSAP-Setup.exe and follow the instructions.

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.

1. Download and install Expat if necessary.

2. Download the relevant .zip file from the Download page.

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

Last Update: $Date: 2008/02/11 17:08:57 $