Introduction
MRMSolve aims to provide a unified interface for Markov reward model
analysis. It constists of a graphical interface written in java, and a
set of binaries that run the computational algorithms. In MRMSolve you
can create and edit modes in two different manners. Than, you can
easily define and run computation series, to investigate the effect of
different model parameters. A diagram editor is available to visualize
the results, and perform graphical comparison between models.
The chapters of the help are:
- A Short Tutorial
This short tutorial presents how to work with MRMSolve, starting from
the model definition, to the diagram analysis.
- Creating a Model
Here you can find information how to formulate your problem in MRMSolve.
- Model Analysis
This chapter describes how to compute different performace measures
of a Markov reward model with our software.
- Working with Plots
When you have some performance measures already computed, you can draw
plots from them, change their look, and export them.
- Reference: Menu System, Dialogs
This chapter gives an overview on all menu items and dialogs appearing
in the software.