The generation of a reachability graph, simulator or model quality checks requires the specification of values for input parameters of commands and signals, if any. Values for these parameters have to be provided through a .params file.

An example of a .params file:

// Imports
import "Camera.interface"

// The interface we want to provide parameters for
interface: Camera

// The trigger (command or signal)
trigger: SetZoom
// The state we are providing parameters for
state: PoweredOn
// The provided parameters, note that multiple parameters sets can be provided
params: ( 3, 9 )
params: ( 11, 5 )
// Next to SetZoom in the PoweredOn state, we also provided parameters for SetZoom in the PoweredOff state.
state: PoweredOff
params: ( 21, 5 )

trigger: GetCapacity
state: PoweredOn
params: ( CapacityType::Total )
params: ( CapacityType::Remaining )