Name

msim — Interactive simulation of a system described by an LPE

Synopsis

msim [-help] [-help-all] [-version] [Stepper Options] [Rewriter Options] [Data Options] input.tbf

Description

Reads from input.tbf an LPE in .tbf format. A typical session consists of the following steps:

  • Start msim by typing msim file.tbf

  • Initiate the simulation by clicking the button Start

  • Continue the simulation by selecting actions in Menu display

  • Finish the simulation by clicking the button Quit.

Start msim

The simulator msim is invoked by: msim file.tbf . The simulator will present a window that allows interactive simulation of the system described in the argument file.tbf. The argument file.tbf must be a LPE, which is the output file of the tool mcrl.

Initiate the simulation

Initiate the simulation by clicking the button Start. If all goes well the simulator presents a list of actions in Menu display. Otherwise an error message will appear in the message window (bottom of the screen).

Continue the simulation

The main window offers the following possibilities:

  • Single step through the system by selecting actions in the Menu display

  • A trace to the current state can be written by clicking the button Save in file.trc/name

  • A trace can be read by clicking the button Load from file.trc/name. The current state becomes the state to which that trace leads.

  • The previous state can be made current by clicking the button Undo

  • Redo undone actions by clicking the button Undo

  • Display the current state vector by clicking the button State (the interpretation of this description requires both experience and knowledge of the linearisation process)

  • Display the value of a certain function by clicking the button Term and entering the function in a popped up input window named Term

Finish or restart the simulation

  • To finish the simulation click Quit

  • To restart the simulation click Start

  • To restart the simulation with another specification, change File and Directory and click Start

Options

-help

Display help information

-help-all

Display all help information

-version

Get the version number of this release

Last update

16 December 2008 by Bert Lisser