These are the release notes of FSAP/NuSMV-SA 1.2.0.
What's New
Main Features
Known Bugs
Requirements
Installation
Old Release Notes
This release of the FSAP platform has several improvements. Hereafter there is the list of these improvements:
FSAP
Fault Detection: implemented FMEA (Failure Mode and Effect Analysis) for messages. Fault Detection analysis run on selected messages or message classes produces a text file in tabular format, which lists the Failure Modes and the messages associated with them.
Sporadic/Permanent Failures: 'sporadic' and 'permanent' activation of failure modes. A failure mode can now be defined as sporadic (can fail and possibly later be corrected) or permanent (once failed it remains failed). A failure mode can now also be disabled.
Control of ESM generation is handled automatically. When the ESM is used, for the Data Dictionary or running an Analysis Task, the ESM is checked to see if it is up-to-date. If it is not, the ESM is re-generated automatically.
Changes to Failure Set imports: The XML structure of Failset imports in FSAP has changed.
Bug Fixes
Parsing error messages which occurred during the model extension were not returned (Windows).
FSAP crashed with some larger models during parsing for the ESM or Data Dictionary.
SMV model parsing updated to handle semi-colon after TRANS, INVAR, and INIT.
Message not always consistent with its Message class or with its Analysis Task (in other words, if an AT is run on a message and then the message is changed, the AT was not correct).
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
All NuSMV2 commands available from textual interface
Win32: MS Windows XP
Lin: Linux RedHat 9.0.
In order to correctly run FSAP/NuSMV-SA, the following tools are needed. 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. To download m4 for Windows go to http://gnuwin32.sourceforge.net/packages/m4.htm)
Gnuplot (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.
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.
Download and install Expat if necessary.
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: 2006/08/03 12:01:29 $