Facebook Twitter Gplus Google Maps E-mail
Home Downloads Previous versions of Mercury

Previous versions of Mercury

  • Performance improvement when performing evaluations on RBDs and FTs.
  • Usability improvements.
    • The editor now highlights the name of the tab of the selected model.
    • Mercury now supports drag-and-drop rearrangement of model tabs.
    • The editor now provides visual assistance through vertical and horizontal alignment lines when adding, resizing, or moving components on the canvas, ensuring precise alignment.
    • Users can fine-tune component positioning with the keyboard arrow keys for precise control over element placement.
    • In addition, users can activate and deactivate the grid mode by pressing the CTRL + G keys.
  • Mercury exports models to PDF files.
  • An Expectation-Maximization Auto-fitting (EMA) tool.
  • Mercury exports SPN/CTMC models to the Wolfram Mathematica language/SageMath format. When exporting to Mathematica, Mercury creates the nb file that can be opened in Mathematica.
  • Some minor improvements and bug fixes.

  • LOG function in CTMC. The function now accepts a single probability expression as an argument.
  • Moment matching. The module now correctly displays the Erlang subnet image.
  • Sensitivity analysis for RBDs and FTs. Under certain circumstances, the sensitivity analysis that takes into account the MTTF and MTTR of the components has resulted in an error.

  • Logarithmic scale. All formalisms now support logarithmic scales in numerical analysis and simulations.
  • Definition of metrics using the LOG function. SPNs, CTMCs, and DTMCs now support metrics based on the LOG function (syntax: LOG {expression}). The expression used as an input value for the function can be a literal value or based on state probabilities.
  • Calculating confidence intervals when simulating RBDs and FTs. The tool now calculates confidence intervals for all supported dependability metrics, including mean time to failure (MTTF), mean time to repair (MTTR), uptime, and downtime.
  • A new method to support state space generation for SPN models. In addition to the traditional method that stores the state space of SPN models in RAM, Mercury provides another method that stores the state space on disk. The CTMC states are stored on disk during the state space generation, making it possible to evaluate SPNs with large state spaces on computers where the amount of RAM is limited. This new method generates the state space faster than the traditional method when dealing with large state space models and is available for both steady-state and transient analyses.

  • Support for project creation where multiple models of the same formalism can be created in a single file
  • “Duplicate” feature which supports creating copies of models within the same project file
  • Lists of components in left-hand panels sorted alphabetically
  • Open the properties of the components of the CTMC and DTMC models by double-clicking on the left-side panel

  • Bug related to marking-dependent delay in SPN (Use of IF expressions)
  • Bug related to experiment results writing (truncated values) in SPN, CTMC, and DTMC

  • Many improvements in features are related to usability
  • Usability enhancements
  • Scripting language updates

  • Many improvements in features are related to usability
  • A new version of the steady-state SPN simulator
  • A new version of the transient SPN simulator
  • A refined time to absorption analysis is now supported by the SPN simulator
  • Adjustments on markovian analysis
  • COX distributions are promptly supported in the moment-matching, besides the previous distributions already supported
  • Usability enhancements
  • Improvements on RBD and FT GUI
  • Cleaner DTMC, CTMC, and SPN GUI and new adjustments
  • Scripting language updates

Bug fixes in RBD, CTMC, DTMC, FT, and SPN modeling.

Fault Tree model editor. Bug fixes in RBD, CTMC, DTMC, and SPN modeling.

Bug Fixes.

DTMC model editor. Bug fixes in RBD, CTMC, and SPN modeling.

Bug Fixes related to script modeling language.

Bug Fixes related to RBD and CTMC Hierarchy.

Bug Fixes related to RBD and SPN simulation.

Hierarchical modeling:
  • CTMC sub-model in SPN.
Sensitivity analysis for SPN:
  • Percentage difference and DoE Analysis of Variance;
  • Mean time to absorption in SPN;
  • Expressions on CTMC reward rates;
  • RBD solution by simulation;
  • RBD importance indices through simulation;
  • Empirical distribution for transition firing delay in SPN;
  • Distribution fitting for user-provided data;
  • Scripting language updates;

Bug fixes: RBD block editing, SPN analysis experiment, SPN delay definition, graph of experiment results. Improvements on scripting language.

Hierarchical modeling using RBD and CTMC. Sensitivity analysis of CTMC measures. Several improvements on scripting language. Modeling GUI improvements.

Bug fix to use parameters in non-saved CTMC transition rates.

Bug Fix to open CTMC models.

Bug Fixes in Moment Matching tool and SPN simulation.

Structural analysis on SPN. Reward measures on CTMC. Availability and reliability direct input on RBD blocks. Export CTMC models to Mathematica.

Bug fixes, new Icon

Scripting Feature, new probability distribution functions for stochastic simulation, greek letters for CTMC rates, sensitivity analysis and bug fixes.

Bug fixes and sensitivity analysis.

Transient and Steady-State SPN Analysis.

Bug fixes in definitions of SPNs and MC.

Bug fixes in RBD and SPN models.

Internal version – Contains features related to CTMC, EFM, SPN and RBD models.

© MoDCS Research Group