These are the release notes of FSAP/NuSMV-SA 0.9.1.

Contents

Main Features
Known Bugs
Requirements
Installation
Older Release Notes

Main Features

• 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.
  • 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 for Windows).
• 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 NuSMV 2 commands available from textual interface
    

Known Bugs

• Version 0.9.1 associates the monotonicity property to the analyses, rather than to the system. (Fix for this bug available in release 0.9.2).
• Probability of safety requirements may appear in the internal XML format of the SAT, even though it is not supported anymore by the FSAP interface (Fix for this bug available in release 0.9.2).
• Tooltips associated to the system model and extended system model (and containing the full pathname of the files) are not reset when a SAT is closed (Fix for this bug available in release 0.9.2). This bug may end up in a crash of the platform if the following operations are performed: File -> Open Sat, File -> Close Sat, Tools -> Extend System Model.
• Dialog shown by FSAP in response to the verification of a true property is wrongly shown as "Unsuccessfull execution". Analyses and results (available through the result displayer) are, however, correct (Fix for this bug available in release 0.9.3).
• 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.3).

Requirements

• Win32: MS Windows NT, MS Windows 2000, MS Windows XP
• Lin: Linux RedHat 7.0.

• Cygwin (cygwin1.dll, c preprocessor, awk, and tcl/tk)
• Gnuplot for Windows (only if interested in graphing counter examples).
  

Installation

1. Install, if necessary, any required package.
2. Download the relevant .zip file from the Download page.
3. Unzip the package in a directory of your choice.
4. Edit the file FSAP.bat (FSAP.sh on linux boxes), by modyfing the value of the variables that point to the Cygwin bin directory, Excel path, ...
5. Double click (or run from the shell) FSAP.bat (FSAP.sh on linux boxes)
   

Release Notes of older Versions

Last Update: $Date: 2008/02/06 13:02:13 $