FSAP/NuSMV-SA Old Release Plan

This section provides an overview of the planned releases of FSAP/NuSMV-SA.

The release plan is based on a two-month release schedule.

The table summarises, for each release of FSAP/NuSMV-SA, the release number, the code name, the main foreseen features, the planned release date, the actual release date, and the release notes.

This release plan has been discontinued after release 0.9.5-2. The implementation efforts will be guided by the new release plan.

Release No.

Code Name

Ideal New Features

Ideal Release Date

Actual Release Date

Actual Features (Release Notes)

0.9.1

The Slasher

First public release

06/09/2002

12/09/2002

release notes 0.9.1

0.9.2

The Smasher

New Features

  • Removal of probability field in SR Editor.

  • Monotonic/Non Monotonic field in SAT.

  • Better naming for traces.

  • Web site support.

Bug Fixes

  • Problem in tooltips update.

  • Problem when "no_failure" was selected as the type for a FM.

  • Patch to cope with a Microsoft Excel 2000 bad management of pathnames.

Dependencies and Integration

  • (same as 0.9.1)

23/09/2002

23/09/2002

release notes 0.9.2

0.9.3

-

New Features

  • Preferences module.

  • User Interface enhancements:

    • simpler access to ordering analysis

    • better interaction with NuSMV

  • Self-extracting installation procedure.

Bug fixes

  • Problem with counterexamples more than 256 steps long.

  • Storage of FMs into SAT.

Dependencies and Integration

  • No dependencies from awk (integration of new module for transforming NuSMV counterexamples).

  • NuSMV-2.1.1.

15/10/2002

15/11/2002

release notes 0.9.3

0.9.4

-

New Features

  • Analysis Task Handler.

Bug Fixes

  • Default (.xml) extension for SAT and Default file name for unsaved SATs

Dependencies and Integration

  • same as 0.9.3 (support newer versions of NuSMV and FSAP graphical libraries).

10/01/2003

28/01/2003

release_notes_0.9.4.html

0.9.5-1

-

New Features

  • Relative pathnames for analyses.

Bug Fixes

  • Generation of fault trees in FaultTree+ 10.0 format (with backward compatibility with version 9.0).

  • Support for spaces in pathnames of analyses.

Dependencies and Integration

  • same as 0.9.4 (support newer versions of NuSMV and FSAP graphical libraries).

10/03/2003

11/04/2003

release_notes_0.9.5-1.html

0.9.5-2

Tsunami

New Features

  • Fault Tree Display: more descriptive fields in fault trees generated by FSAP.

  • Log Window

  • Handling of xsl and dtd references in XML files and automatic generation of documentation.

  • Option for specifying how to store pathnames in SAT (relative/absolute).

Dependencies and Integration

  • no dependencies from Tcl/Tk (new interface to plotting facilities). (support newer versions of NuSMV and FSAP graphical libraries).

10/05/2003

19/05/2003


release_notes_0.9.5-2a.html

0.9.6


New Features

  • Interactive Fault Tree Generation.

  • Control to maximum number of failures in analyses.

  • Data Dictionary (for identifying NuSMV nodes).

Bug Fixes

Dependencies and Integration

  • no dependencies from Tcl/Tk (new interface to plotting facilities). (support newer versions of NuSMV and FSAP graphical libraries).
    (anticipated to release 0.9.5-2.)

10/08/2003



0.9.7


New Features

  • Patterns for Formulas.

  • Support for all fields of Fault Tree.

  • Specification of probability for failure modes.

  • Allocation of safety requirements to model nodes.

  • Support for versioning systems.

Bug Fixes

Dependencies and Integration

  • same as 0.9.6 (support newer versions of NuSMV and FSAP graphical libraries).

10/10/2003



0.9.8


New Features

  • (experimental) Hierarchical Fault Tree Generation.

  • Users' Feedback

Bug Fixes

Dependencies and Integration

  • same as 0.9.7 (support newer versions of NuSMV and FSAP graphical libraries).

10/11/2003







 

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