These are the release notes of FSAP/NuSMV-SA 0.9.5-2, code name Tsunami.
This is the last release before cycle 2. It is the first of a group of releases that will be named after atmospheric events.
What's New
Main Features
Known Bugs
Requirements
Installation
Old Release Notes
This release of the FSAP platform delivers some new features and addresses various usability and portability topics mainly related to portability of SAT and dependencies from external applications.
In detail, the major improvements are:
FSAP
Session Log: the interaction with the platform can be logged to a window. Users can choose, from the preferences panel, both the verbosity and the notification level of the application (i.e. users can decide what information are displayed into the log window and for what kind of messages the application shows alert boxes). The content of the log window can be cleared or saved to file.
Documentor/SAT Printing: SATs can now be viewed in HTML format. Integration with HTML is achieved with the use of stylesheets (that specify how to transform XML into HTML). A simple stylesheet is available with the distribution and also distributed via the internet. To enable viewing SATs in HTML format, choose, from the User Preferences panel, the option related to the inclusion of a reference to a stylesheet (.xsl), to enable this feature.
Analysis Task auto save: Analysis Tasks are now automatically added to the Analysis Task browser of the SAT, after being executed. This simplifies user access to the results of analyses.
SAT pathnames: the user can now decide whether to store the pathnames of the files stored in a SAT (System Model, Extended System Model, Directories with the Results of Analyses) as absolute orrelative (with respect to the location of the SAT). This can be done by checking the relevant button within the preferences dialog. Relative pathnames allow for more portable SATs; absolute pathnames allow for unambiguous specifications of SATs (since the location of the files does not depend on where the SAT resides).
SAT User Interface: The SAT dialog graphical layout has been slightly simplified and improved (resizing of windows and title of windows).
GnuPlot Plotter
The interface to GnuPlot has been redesigned and implemented using the FLTK widget. The GnuPlot plotter can now be invoked as an external application and open traces. See also section "Dependencies and Integration".
Bug Fixes
External Applications installed on pathnames with spaces. The crippling bug related to the application failing to invoke, on certain version of Windows, external applications if they were installed on directories with spaces has been removed. As a consequence, Gnuplot can now be installed on any location chosen by the user.
Open windows on exit: The bug related to the “Exit” command of the SAT Dialog that would not close all the windows has been removed. Now all the windows related to the SAT Dialog (all Windows but the Fault Tree Displayer)get closed when the “Exit” command is chosen.
Installation Procedure
On Windows, the installation procedure now installs shortcuts to call FSAP from the “Start Menu”
Dependencies and Integration
Dependencies from Tkl/Tc have been removed. The platform now depends only on the Cygwin's C preprocessor and on cygwin1.dll - to run NuSMV-SA.
The format supported by FTD is not yet fully compliant with the Isograph FaultTree+ tabular format.
Even though such limitation does not affect the FSAP/NuSMV-SA platform (since the Fault Trees produced by NuSMV-SA are fully compatible with the FSAP Fault Tree Displayer and with Isograph FT+), certain limitations apply if you intend to use the FSAP Fault Tree Displayer for displaying fault trees produced by Isograph Fault Tree+ or by other ESACS implementations.
In particular the Fault Tree Displayer:
does not support loading of "forests" of fault trees (multiple fault trees stored in a single pair of "events.txt" and "gates.txt").
ignores various fields of the FT+ tabular format: fields such as probability, font, etc, are not displayed nor saved by FTD.
expects the gates.txt file to present the fault tree in a top-down fashion (TLE first; gates closer to the TLE must appear first in the file).
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.
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).
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 $