These are the release notes of FSAP/NuSMV-SA 0.9.8, code name Sunshine.
What's New
Main Features
Known Bugs
Requirements
Installation
Old Release Notes
This release of the FSAP platform delivers new functions such as Safety Requirements Library and Data Dictionary, provides a finer control on the number of failures during analyses and fixes some minor bugs.
In detail, the major improvements are:
FSAP
GSRL: it is now possible to define Safety Requirements based on a library of commonly used, parametric formulas. The GSRL is stored in XML format. The function is activated using the "Safety Patterns" button in the "Safety Requirement Editor" dialog.
Data Dictionary: failure mode definition, safety requirements definition and simulation analysis tasks can now use the data dictionary feature to simplify insertion of references to model elements. The function can be activated from the "Data Dictionary" buttons provided in the relevant dialogs.
Analysis Task Hypothesis: model extensions now inserts symbols for controlling the maximum number of failures and the maximum number of simultaneous failures (see the definition of variables NR_FAILURES and NR_SIMULT in the Extended System Model). Remark. The functionality can be exploited from within the definition of the formula in the Safety Requirements editor. Finer control on the variables (e.g. in analyses task) will be granted in release 0.9.9 through the use of some Graphical UI. Meanwhile, please, take a look at FSAP user guide for more information on how to use this features.
Log: more control for the user, from the "Window" menu item, about the showing, hiding and iconifying of the Log Window.
Bug Fixes
Duplicate FM definition: fixed bug 223, related to the possibility of defining identical Failure Modes.
Log Window Scroll: fixed scrolling of Log Window.
Distribution
The size of the distributed version has been reduced considerably, thanks to improvements in the building process.
Major update to the FSAP user guide document.
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.
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
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
This section is taken from the ReadMe.txt file available with the distribution
of 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 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: 2008/02/06 13:02:13 $