These are the release notes of FSAP/NuSMV-SA 0.9.4.
What's New
Main Features
Known Bugs
Requirements
Installation
Old Release Notes
This release introduces the "Analysis Task Manager" module and addresses some usability issues.
The major improvements with respect to the previous release are:
General
Keyboard equivalents: menu can now be accessed using the standard ALT-<key> shortcuts.
FSAP
Analysis Task Manager: FSAP now supports Analysis
Task Manager. The Analysis Task Manager allows to specify, execute,
and save in the SAT the specifications of the analyses to run.
Main features of the Analysis Task Manager include:
Creation of analysis tasks either from scratch or from a given safety requirement.
Editing and deletion of existing analysis tasks.
Saving of a analysis tasks into the SAT
Execution of analysis tasks directly from the analysis task dialog.
Direct access to the results of analyses from the analysis task dialog.
Possibility of managing and running multiple safety analysis tasks at the same time.
Possibility of specifying the directory in which results are to be stored.
Usability Improvements:
SAT save: "xml" extension is automatically appended at the end of SAT filenames.
SAT default name: when saving a SAT for the first time, the default filename is "untitled_sat.xml".
Results Directory: the directory that contains the results after the execution of an Analysis Tasks is created if the user specified a non-existing one.
External Applications: better support for handling anomalous situations when invoking an external application.
HTML Browsers: FSAP now supports browsing of its HTML documentation with Mozilla, Netscape, and Internet Explorer.
Miscellanea:
SR Deletion: safety requirements now cannot be deleted if they are used in an analysis tasks.
About Box: the About box now contains information about the version of gcc, Expat, and FLTK used to build FSAP.
Menus: more consistent naming of command across the various applications of the platform.
Result Displayer: Fixed a bug that prevented reading of results generated from analyses if the name of the result directory contained blanks.
Help Document: enriched with images, snapshots, and more detailed descriptions about the architecture, methodology and usage of the tool.
NuSMV-SA
No changes.
Finally, FSAP now comes compiled with FLTK 1.1.2.
Fault Tree Displayer expects only correct fault trees (e.g. fault trees generated by NuSMV-SA) as input: fault trees with dangling references (e.g. non-defined references to events or gates) may cause the displayer to crash (Fix for this bug available in release 0.9.5).
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, c preprocessor, and tcl/tk)
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 $