Launch Configuration

Debugging multiple POOSL models simultaneously

It is possible to run multiple POOSL simulations at once. To connect to the simulator, the debugger uses a TCP/IP port. This port is set in the run configuration created when you run or debug a model for the first time. The default TCP/IP port is 10001. In order to debug multiple models at the same time, the used TCP/IP ports should be unique. To change the run configuration, follow these steps:

  1. Click on the arrow next to either the Eclipse Run or Debug button.
  2. Choose "Run Configurations..." or "Debug Configurations..."
  3. From the Run configurations, choose your model and change the Port number.
  4. Click Apply to save the changes.
It is now possible to run this model alongside another model. The console view can switch between multiple simulations (both run and debug) using the dropdown arrow of the "Display Selected Console" icon. In the debug perspective, the debug view in the top-left corner shows all running debug sessions.

Setting a seed for resolving non-determinism

The non-determinism in POOSL models has to be resolved by the simulator. The POOSL IDE offers the option to set the seed that is used by the simulator for resolving non-determinism. There are two options, either manually set a fixed seed, or choose a random seed each time a simulation is started. The user can make an independent choice for every single launch configuration. The default choice is to use the fixed seed 1.

The seed that is used for a specific simulation can be seen in the headline of the Console view. In particular this can be useful when using a random seed.

To change this setting for a specific launch configuration follow these steps:

  1. Click on the arrow next to either the Eclipse Run or Debug button.
  2. Choose "Run" or "Debug Configurations..."
  3. From the Run or Debug configurations, choose your configuration and change the seed manually or check the random box for a random seed.
  4. Click Apply to save the changes and Run or Debug to start the simulation.