These are the release notes of FSAP/NuSMV-SA 1.0.1, code name Sunrise.
Old Release Notes
This release of the FSAP platform has several improvements. Hereafter there is the list of these improvements:
Extended System Model is automatically generated for defining failure sets, if it has not already been generated.
Formulas for Safety Requirements can now be labeled CTL, LTL, or PROP (propositional).
Checks are added in the Analysis Task to prevent running certain Analysis Tasks with incorrect formula notation (e.g., running a SAT-based analysis on a CTL formula).
Both instance variables and values can be selected from the Data Dictionary.
Default variables can be defined in the plotter and saved to the SAT.xml, which is useful for plotting given values repeatedly.
Gnuplot window opens and closes correctly under Linux without disrupting use of FSAP.
A trace file can be opened in the plotter with another trace already open in the plotter.
New message type is automatically selected when created.
The main features of the FSAP/NuSMV-SA platform are:
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 custom failure sets comprising several failure modes and of including them directly into the system model.
Possibility of defining messages for fault isolation 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).
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
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 NT, MS Windows 2000, MS Windows XP
Lin: Linux RedHat 9.0.
In order to correctly run FSAP/NuSMV-SA on Windows, the following tools are needed:
Cygwin (cygwin1.dll and GCC c preprocessor - included in Cygwin)
Gnuplot for Windows (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.
(The procedure assumes the required tools to be already installed on the system.)
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 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: 2005/11/18 17:32:33 $