FSAP/NuSMV-SA New Roadmap

With the release of FSAP/NuSMV-SA 0.9.5-2, we close Cycle 1 of the development of the application. The end of Cycle 1 has also been an occasion to re-think priorities and the functionality to be implemented in the future releases of the platform.

The new roadmap has been especially designed to focus on users' feedback and to provide priority to the functionality most requested by users. The functionality initially foreseen in the old release plan will be allocated in future releases of the platform.

Release No.

Code Name

Ideal New Features

Ideal Release Date

Actual Release Date

Actual Features (Release Notes)

0.9.6

Thunderstorm

New Features

  • Simplified access to NuSMV nodes in Failure Mode Specification.

Bug Fixes

  • Standard platform consolidation activities.

Dependencies and Integration

  • no changes.

15/07/2003

23/07/2003

Release Notes

0.9.7

-

New Features

  • New interface for writing safety requirements.

  • Data Dictionary.

Bug Fixes

Dependencies and Integration

31/07/2003

N/A

(see 0.9.8)

n/a

(see 0.9.8)

0.9.8

Sunshine

New Features

  • Support for safety patterns.

  • Improved specification of hypotheses in Analysis Tasks (e.g. maximum number of failures, freezing of failure modes, ...)

Bug Fixes

Dependencies and Integration

22/08/2003

15/09/2003

Release Notes

0.9.9

Tornado

New Features

  • Full support for the specification of hypotheses (invariants) within Analysis Tasks

  • SMV Keypad accessible from within Safety Pattern Editor

Bug Fixes

  • Wrong positioning of extension code in the ESM source code

Dependencies and Integration

25/09/2003

10/10/03

Release Notes

1.0.0

Sunrise

New Features

  • New functionality: definition of failure sets comprising several failure modes.

  • New functionality: definition of messages and message classes to be used for TDS.

  • CHECK PROPERTY and FAULT TREE analyses can be performed either with a BDD-based as well as a SATisfiability-based model checker.

  • Three SAT-based solver are available through NuSMV2 model checker: sim, minisat, and zchaff.

Bug Fixes

  • Data dictionary: selection of disabled tabs is no more possible.

Dependencies and Integration

31/07/2005

01/08/2005

Release Notes

1.0.1

Sunrise

New Features

  • Formulas for Safety Requirements can now be labeled CTL, LTL, or PROP (propositional) and used to check which/how anaysis tasks can be run.

  • Both instance variables and values can be selected from the Data Dictionary.

  • Default variables can be defined in the plotter and saved to the SAT.xml, which is useful for plotting given values repeatedly.

Bug Fixes

  • Gnuplot window opens and closes correctly under Linux without disrupting use of FSAP.

Dependencies and Integration

  • N/A

-

01/09/2005

Release Notes

1.1.0


New Features

  • Remove the dependency on CYGWIN and add m4 for macro processing.

  • Similar messages can be grouped by classes, and fault isolation can be run on these classes.

Bug Fixes

  • System model and extended system model relative filenames are correctly saved for SAT XML files which are new (completely empty) or have been re-saved in a different location.

Dependencies and Integration

  • Dependency on CYGWIN removed but m4 is required now for macro-processing (done before by cpp in CYGWIN)[this only applies to Windows].

  • Dependency on Expat for XML parsing.

16/11/2005

24/11/2005

Release Notes

1.1.1


New Features

  • Make NR_SIMULT optional in generated ESMs -- this should speed up runtime of analysis tasks.

  • Make Counter Example computation optional for analysis tasks generating a fault tree (FTA and Fault Isolation).

  • Import XML mapping file to map Failure Sets to Failure Modes.

Bug Fixes

Dependencies and Integration

16/12/2005

16/12/2005

Release Notes

1.2.0


New Features

  • Fault Detection
  • Sporadic/Permanent Failures
  • Automatic control of ESM generation

Bug Fixes

  • Data Dictionary/ESM parsing (Windows)
  • FSAP crash with long definitions (strings)
  • SMV model parsing to handle semi-colon after TRANS, INVAR, and INIT

Dependencies and Integration

-

07/03/2006

Release Notes

1.2.1


New Features

  • Quantification
  • Failset exports
  • Generation of 'true'/'false' fault trees

Bug Fixes

Dependencies and Integration

-

05/04/2006

Release Notes

1.2.2


New Features

  • FailureMode_duration variable
  • Active Fault Tree Displayer: select nodes can be opened in the Result Displayer or for ordering AT
  • Probability in scientific notation

Bug Fixes

Dependencies and Integration

-

22/05/2006

Release Notes

1.2.3


New Features

  • Cascading Failure Sets

Bug Fixes

  • Fixed opening events/gates files in the FTD from the Result Displayer
  • Fixed the display of AND and OR gates in FTD

Dependencies and Integration

-

03/08/2006

Release Notes

1.2.4


New Features

  • Add layering and dynamic COI to monotonic BDD analysis
  • Fault Coverage and Fault Isolation Indices
  • Improve results displayer window with NuSMV execution summary
  • Fault tree export in SVG

Bug Fixes

  • Problem in Plotter due to missing PROBABILITY variable
  • Crash when ID in analysis task doesn't match SR/Message/MessageClass

Dependencies and Integration

01/12/2006

18/12/2006

Release Notes



 

Last Update: 2005/08/01 15:41